X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fmenu.xml;h=60431f45eb813494be660883a61ae549ad32dfc3;hb=fc35fbb35a01c110f221c52661f1193ea5664aa6;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 |