]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dictionary-test.xml
Added some comments to the source code.
[helm.git] / helm / DEVEL / mathml_editor / dictionary-test.xml
index 94190888dc020bc3212188cd8b4a4f145a9f0273..3fcc056942ba8c8c624c73146e44f7971c33e5c9 100644 (file)
@@ -33,7 +33,7 @@
   <!-- MACRO for testing  -->
   <entry name="red"        pattern="{"/>
   <entry name="green"      pattern="#1\over"/>
-  <entry name="duedelim"   pattern="#1\over\over#2"/>
+  <entry name="duedelim"   pattern="#1\over\of#2"/>
   <entry name="nodeside" pattern="#1#2\over"/>
 
 </dictionary>