]> 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 55d77c5724136f0ff6984cb9c30a44ce3e696a37..52419613f8568a091c6a6c09f5ed0c0054bcab35 100644 (file)
@@ -56,7 +56,7 @@
       <br/>     
  
       <p>For further description see 
-         <a target="content" href="proposal/proposal-index.html">Proposal</a>
+         <a target="content" href="project.html">Project</a>
          in the Project Menu.</p>
 
       </td>