From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 11 Mar 2002 11:00:16 +0000 (+0000)
Subject: Link to ActiveMath added.
X-Git-Tag: V_0_3_0_debian_8~234
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a615db0bb168a3521a90868d08aa7b7e8aa87334;p=helm.git

Link to ActiveMath added.
---

diff --git a/helm/mowgli/home/xml/menu.xml b/helm/mowgli/home/xml/menu.xml
index 703ce2f91..67af04e3a 100644
--- a/helm/mowgli/home/xml/menu.xml
+++ b/helm/mowgli/home/xml/menu.xml
@@ -45,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>