]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/templates/home.html.top
* Rendering of publications improved.
[helm.git] / helm / mowgli / home / templates / home.html.top
index 9118ce3d03fdf1d883661873590ce8c8b2848cf8..ad709f5c86d86fcbb52242c3b38aa14d6a484efd 100644 (file)
      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
+     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
+     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>),