]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dict/dictionary-basic.xml
moved dictionaries in a new "dict" directory
[helm.git] / helm / DEVEL / mathml_editor / dict / dictionary-basic.xml
diff --git a/helm/DEVEL/mathml_editor/dict/dictionary-basic.xml b/helm/DEVEL/mathml_editor/dict/dictionary-basic.xml
new file mode 100644 (file)
index 0000000..ed2e264
--- /dev/null
@@ -0,0 +1,9 @@
+<?xml version="1.0"?>
+
+<dictionary name="TeX">
+
+  <!-- MACRO for testing  -->
+  <entry name="cursor"     pattern=""/>
+  <entry name="error"      pattern="#1"/>
+
+</dictionary>