]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/project-objectives.xml
Modified Files:
[helm.git] / helm / mowgli / home / xml / project-objectives.xml
index bfeaefa16eb9399744d1ba184ae5ce43a74dc625..9a422306adb536668bba0b2afacabe5d17d9b40c 100644 (file)
@@ -27,7 +27,7 @@
      technologies like MathML.  However, almost all mathematical documents
      available on the Web are marked up only for presentation (in this respect,
      current practice in MathML improves on, but does not fundamentally differ 
-     from the older paper-oriented markup schemes like {\LaTeX} or Postscript).
+     from the older paper-oriented markup schemes like LaTeX or Postscript).
      A consequence of this is that the online material is machine-readable, but
      not machine-understandable, severely crippling the possibility to offer 
      added-value services like</p>
@@ -79,7 +79,7 @@
      stylesheets [<a href="http://www.w3.org/TR/xslt">XSLT</a>], to pass from 
      one language to the other.</p>
   
-  <img border="0" alt="Architecture" src="./../images/arch.gif" />
+  <img border="0" alt="Architecture" src="./../images/arch.png" />
 
   <p>The fact of encoding also the microscopic, logical level of mathematics 
      opens the possibility to have completely formalised subsystems of the