]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/templates/menu.html
moved some xml files into xml root directory
[helm.git] / helm / mowgli / home / templates / menu.html
index 455c2142ae37746ebb8ed944be4feb7c3311a1fd..1c1bdb86ca5618879ded05fd254de009b79e5e1e 100644 (file)
@@ -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>