]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dictionary-test.xml
Added the completion of the macro's name.
[helm.git] / helm / DEVEL / mathml_editor / dictionary-test.xml
index adbc0dfd3a5a7472eb67e8508553325e6b1c516d..94190888dc020bc3212188cd8b4a4f145a9f0273 100644 (file)
@@ -34,5 +34,6 @@
   <entry name="red"        pattern="{"/>
   <entry name="green"      pattern="#1\over"/>
   <entry name="duedelim"   pattern="#1\over\over#2"/>
+  <entry name="nodeside" pattern="#1#2\over"/>
 
 </dictionary>