Link to ActiveMath added.

diff --git a/helm/mowgli/home/xml/menu.xml b/helm/mowgli/home/xml/menu.xml
index 703ce2f91b9543e321b1793df7ee0c6c0eea4e02..67af04e3aaf49ff97348a3392c84b94def506972 100644 (file)
--- 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>