]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dictionary.xml
Added some controls concerning the graphical deleting.
[helm.git] / helm / DEVEL / mathml_editor / dictionary.xml
index 664100c6236cbde67ea56378421e0196ff7bc88b..023bcdbe16b0cc99717f1515a72b993ae5a65ed7 100644 (file)
   <entry name="underbrace"   pattern="#1" limits="1"/>
   <entry name="cases"        pattern="#1" table="1"/>
 
+  <!-- MACRO for testing  -->
+  <entry name="paolo"        pattern="{"/>
+
 </dictionary>