]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dict/dictionary-basic.xml
This commit was manufactured by cvs2svn to create branch 'moogle'.
[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
deleted file mode 100644 (file)
index ed2e264..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-<?xml version="1.0"?>
-
-<dictionary name="TeX">
-
-  <!-- MACRO for testing  -->
-  <entry name="cursor"     pattern=""/>
-  <entry name="error"      pattern="#1"/>
-
-</dictionary>