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