X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdict%2Fdictionary-basic.xml;fp=helm%2FDEVEL%2Fmathml_editor%2Fdict%2Fdictionary-basic.xml;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=ed2e264617fe861e73b914ef5aa4db0397d4203a;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/dict/dictionary-basic.xml b/helm/DEVEL/mathml_editor/dict/dictionary-basic.xml
deleted file mode 100644
index ed2e26461..000000000
--- a/helm/DEVEL/mathml_editor/dict/dictionary-basic.xml
+++ /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>