From a615db0bb168a3521a90868d08aa7b7e8aa87334 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 11 Mar 2002 11:00:16 +0000
Subject: [PATCH] Link to ActiveMath added.

---
 helm/mowgli/home/xml/menu.xml | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
2.39.2