]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/templates/home.html.top
- removed date from menu (useful?)
[helm.git] / helm / mowgli / home / templates / home.html.top
index dba56ec770ac2ef79e7254cfa9cce8ad660dc4aa..3e2efba55b01c9b3a7e9c6f89fe3b4b7d2d1e7bf 100644 (file)
       <br />
 
       <table width="100%" border="0" cellspacing="0" cellpadding="0">
-      <tr>
-        <td>
-          <h3>A few lines</h3>
-       </td>
-       <td>
-       </td>
-       <td>
-          <h3>Latest News</h3>
-       </td>
-      </tr>
-
       <tr>
 
       <td valign="top">
-      with a brief description of the project
-      and possibly links to the member sites.
-      A link to a more detailed section should be provided
-      here, so that newcomers don't have to look inside the menu to read more.
+
+      <blockquote>
+       <div class="center">
+        <div class="small">
+         <h3><em>Warning</em></h3>
+         This site is under construction. Some sections have not been filled yet, some
+         links might be broken, some content is temporary. Check often for updates.
+       </div>
+       </div>
+      </blockquote>
       
+      <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 form 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>
+
+     <p>Read more about the project:</p>
+
+     <ul>
+       <li><a href="project-summary.html">Summary</a></li>
+       <li><a href="project-management.html">Management</a></li>
+     </ul>
+
       </td>
 
       <!--
       -->
 
       <td>
-        &nbsp;&nbsp;
-        &nbsp;&nbsp;
+        &nbsp;&nbsp;&nbsp;&nbsp;
       </td>
 
       <td valign="top">
 
+      <div class="small">
+
+      <h3>Latest News</h3>
+
       <dl>