X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fmenu.xml;h=60431f45eb813494be660883a61ae549ad32dfc3;hb=8c578ae2acfb32b39610aebbd4baab3a31775a9f;hp=152e6c3fb827189b9076bd1103930d3e5b4d20c8;hpb=dd6df514e8240ceb5372d05da3694b9a05ac2fe9;p=helm.git diff --git a/helm/mowgli/home/xml/menu.xml b/helm/mowgli/home/xml/menu.xml index 152e6c3fb..60431f45e 100644 --- a/helm/mowgli/home/xml/menu.xml +++ b/helm/mowgli/home/xml/menu.xml @@ -27,6 +27,7 @@
HELM |
ActiveMath |
MathML |
OpenMath |
OMDoc |