]> 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 df880ff959f8d669b2630594f13b9422fafb846a..00c2374195435f0937e23691cce5eeb27a85f3a7 100644 (file)
@@ -7,6 +7,23 @@
    <title>Project Summary</title>
  </head>
  <body>
+
+  <table width="550">
+   <tr>
+    <td>
+     <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="../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>
+    </td>
+   </tr>
+  </table>
+
+  <br/>
+
   <h1>Project Summary</h1>
 
   <h2>Objectives</h2>
    <dd>Result of validation.</dd>
   </dl>
 
+  <br/>
+
+  <table width="550">
+   <tr>
+    <td>
+     <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="../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>
+    </td>
+   </tr>
+  </table>
+
  </body>
 </html>