X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdictionary-tex.xml;h=fa9785111b59b6f2eacfa44d2030877793645a38;hb=a2f9abb0b4f07678de024d4afb371ba59183edf0;hp=4eff38632eeb5a789f1cc80e2886e6bb8a8effbf;hpb=85ccebb566c36671ca753debe09e6dd5c9dd0df7;p=helm.git diff --git a/helm/DEVEL/mathml_editor/dictionary-tex.xml b/helm/DEVEL/mathml_editor/dictionary-tex.xml index 4eff38632..fa9785111 100644 --- a/helm/DEVEL/mathml_editor/dictionary-tex.xml +++ b/helm/DEVEL/mathml_editor/dictionary-tex.xml @@ -201,7 +201,7 @@ - +