- removed date from menu (useful?)

[helm.git] / helm / mowgli / home / templates / menu.html

diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html
index 455c2142ae37746ebb8ed944be4feb7c3311a1fd..5af692a9e0fbe15088b6f5ee35363e19d97f9fbc 100644 (file)
--- a/helm/mowgli/home/templates/menu.html
+++ b/helm/mowgli/home/templates/menu.html
@@ -41,7 +41,7 @@
       <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="_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>
@@ -95,10 +95,12 @@
   </td></tr>
   </table>
 
+ <!--
   <br />
 
   <div class="small">Last Update:</div>
   <div class="small"><b>@DATE@</b></div>
+ -->
 
   </body>