]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/home.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / home.xml
index 13434f9122cc8f5e7fdc4f54c0b6c68d9cedfca2..52419613f8568a091c6a6c09f5ed0c0054bcab35 100644 (file)
      (<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>
 
+      <br/>     
+      <p>For further description see 
+         <a target="content" href="project.html">Project</a>
+         in the Project Menu.</p>
+
       </td>
 
       <td>