]> 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 c56cec2337a7471b2b1473d3c4c4785f3fa3ada8..3e2efba55b01c9b3a7e9c6f89fe3b4b7d2d1e7bf 100644 (file)
          </td>
        </tr>
       </table>
-      
+
       <br />
-      <h3>A few lines</h3>
-      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.
+
+      <table width="100%" border="0" cellspacing="0" cellpadding="0">
+      <tr>
+
+      <td valign="top">
+
+      <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>
+
+      <!--
       <br /><br />
       <hr width="100%"/>
-      
+      -->
+
+      <td>
+        &nbsp;&nbsp;&nbsp;&nbsp;
+      </td>
+
+      <td valign="top">
+
+      <div class="small">
+
       <h3>Latest News</h3>
 
       <dl>