]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/templates/menu.html
- removed date from menu (useful?)
[helm.git] / helm / mowgli / home / templates / menu.html
index 99b9fe2529a669b21ac6d4e40a990b765ce69f79..5af692a9e0fbe15088b6f5ee35363e19d97f9fbc 100644 (file)
@@ -26,9 +26,9 @@
       <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="events.html">Events</a></td></tr>
       <tr><td><a class="menulink" target="content" href="news.html">News Archive</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="">Members Area</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="publications/mowgli">Publications</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="">Software</a> (<a class="menulink" href="">CVS</a>)</td></tr>
+      <tr><td><a class="menulink" target="content" href="members/index.html">Members Area</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="publications/index.html">Publications</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="software/index.html">Software</a> (<a class="menulink" target="content" href="software/index.html">CVS</a>)</td></tr>
       </table>
     </td>
   </tr>
@@ -41,8 +41,8 @@
       <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.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/news.html">OMDoc</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="publications/others">Bibliography</a></td></tr>
+      <tr><td><a class="menulink" target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="publications/index.html#related">Bibliography</a></td></tr>
       </table>
     </td>
   </tr>
   </td></tr>
   </table>
 
+ <!--
   <br />
 
   <div class="small">Last Update:</div>
   <div class="small"><b>@DATE@</b></div>
+ -->
 
   </body>