]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/home.xml
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / mowgli / home / xml / home.xml
diff --git a/helm/mowgli/home/xml/home.xml b/helm/mowgli/home/xml/home.xml
deleted file mode 100644 (file)
index 5241961..0000000
+++ /dev/null
@@ -1,85 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE html SYSTEM "mowgli-xhtml1-transitional.dtd">
-
-<html xmlns="http://www.w3.org/1999/xhtml"
-      xmlns:mowgli="http://mowgli.cs.unibo.it/website">
-
-  <head>
-    <title>MoWGLI Home Page</title>
-  </head>
-
-  <body class="content">
-      <br />
-
-      <table width="100%" border="0" cellspacing="0" cellpadding="0">
-        <tr>
-         <td align="left" valign="top">
-            <img alt="MoWGLI Logo" src="../images/mowgli_combo.gif"/>
-         </td>
-         <td align="right" valign="top">
-           <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo" src="../images/istdrop.gif" width="200"/></a>
-         </td>
-       </tr>
-      </table>
-
-      <br />
-
-      <table width="100%" border="0" cellspacing="0" cellpadding="0">
-      <tr>
-
-      <td valign="top">
-
-      <h3>Abstract</h3>
-      
-      <p>The World Wide Web is already the largest resource of mathematical
-     knowledge, and its importance will be exponentiated by emerging display
-     technologies like
-     <a target="_top" href="http://www.w3.org/Math">MathML</a>.
-     However, almost all mathematical documents
-     available on the Web are marked up only for presentation, severely
-     crippling the potentialities for automation, interoperability,
-     sophisticated searching mechanisms, intelligent applications,
-     transformation and processing. The goal of the project is to overcome
-     these limitations, passing from a machine-readable to a
-     machine-understandable representation of the information, and developing
-     the technological infrastructure for its exploitation. MoWGLI builds on
-     previous standards for the management and publishing of mathematical
-     documents (<a target="_top" href="http://www.w3.org/Math">MathML</a>,
-     <a target="_top" href="http://www.openmath.org">OpenMath</a>,
-     <a target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a>),
-     integrating them with different
-     <a target="_top" href="http://www.w3.org/XML/">XML</a> technologies
-     (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
-     <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
-
-      <br/>     
-      <p>For further description see 
-         <a target="content" href="project.html">Project</a>
-         in the Project Menu.</p>
-
-      </td>
-
-      <td>
-        &#x0A0;&#x0a0;&#x0a0;&#x0a0;
-      </td>
-
-      <td valign="top">
-
-      <div class="small">
-
-      <mowgli:latest-news />
-      <mowgli:approaching-deadlines />
-
-      </div>
-
-      </td>
-      </tr>
-      </table>
-
-      <br />
-
-  </body>
-
-</html>