]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/menu.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / menu.xml
index 152e6c3fb827189b9076bd1103930d3e5b4d20c8..60431f45eb813494be660883a61ae549ad32dfc3 100644 (file)
@@ -27,6 +27,7 @@
       <tr><td><a class="menulink" target="content" href="home.html">Home</a></td></tr>
       <tr><td><a class="menulink" target="content" href="consortium.html">Consortium</a></td></tr>
       <tr><td><a class="menulink" target="content" href="people-list.html">People</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="project.html">Project</a></td></tr>
       <tr><td><a class="menulink" target="content" href="work-packages/index.html">Work Packages</a></td></tr>
       <tr><td><a class="menulink" target="content" href="mowgli-events.html">MoWGLI Events</a></td></tr>
       <tr><td><a class="menulink" target="content" href="other-events.html">Other Events</a></td></tr>
@@ -44,6 +45,7 @@
     <td class="menuentries">
       <table width="100%" border="0">
       <tr><td><a class="menulink" target="_top" href="http://www.cs.unibo.it/helm">HELM</a></td></tr>
+      <tr><td><a class="menulink" target="_top" href="http://www.activemath.org">ActiveMath</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.w3.org/Math">MathML</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.openmath.org">OpenMath</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a></td></tr>
       </table>
     </td>
   </tr>
-  
   </table>
   </td></tr>
   </table>
 
+  <div class="center">
+    <div class="small">
+      <mowgli:change-frame-settings/>
+    </div>
+  </div>
+
   </body>
 
 </html>