]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/templates/home.html.top
- renamed some files
[helm.git] / helm / mowgli / home / templates / home.html.top
index cc66054753b4633f7e667e4593758e6366f93946..0626213469ca09859cd3d14afd2de894e2ef5cf3 100644 (file)
       
       <p>The World Wide Web is already the largest resource of mathematical
      knowledge, and its importance will be exponentiated by emerging display
-     technologies like MathML. However, almost all mathematical documents
+     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
+     the technological infrastructure for its exploitation. MoWGLI builds on
      previous ``standards'' for the management and publishing of mathematical
-     documents (MathML, OpenMath, OMDoc), integrating them with different XML
-     technology (XSLT, RDF, ...).</p>
+     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>
 
-     <a href="project_summary.html">Read more...</a>
+     <ul>
+       <li><a href="project-summary.html">Summary</a></li>
+       <li><a href="project-management.html">Management</a></li>
+     </ul>
 
       </td>