]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/proposal/project-summary.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / proposal / project-summary.xml
index 2883ddd22d6c11e7677d3d6310312a134b5e5c58..00c2374195435f0937e23691cce5eeb27a85f3a7 100644 (file)
   <table width="550">
    <tr>
     <td>
-     <a href="proposal-index.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
+     <a href="../project.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
     </td>
     <td>
-     <a href="proposal-index.html" target="content">Index</a>
+     <a href="../project.html" target="content">Index</a>
     </td>
     <td>
      <a href="project-objectives.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
   <table width="550">
    <tr>
     <td>
-     <a href="proposal-index.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
+     <a href="../project.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
     </td>
     <td>
-     <a href="proposal-index.html" target="content">Index</a>
+     <a href="../project.html" target="content">Index</a>
     </td>
     <td>
      <a href="project-objectives.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>