From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 14 Feb 2002 10:07:18 +0000 (+0000)
Subject: OMDoc link fixed.
X-Git-Tag: V_0_3_0_debian_8~320
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7bc87a28e2f852391a9f4d3d1b3eb4d128633d9d;p=helm.git

OMDoc link fixed.
---

diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html
index 7a04a4303..f40a5721f 100644
--- 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="">OmDOC</a></td></tr>
+      <tr><td><a class="menulink" target="_top" href="http://www.mathweb.org/omdoc/news.html">OMDoc</a></td></tr>
       </table>
     </td>
   </tr>