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

diff --git a/helm/DEVEL/mathml_editor/dict/dictionary.dtd b/helm/DEVEL/mathml_editor/dict/dictionary.dtd
deleted file mode 100644
index 3fefc71fe..000000000
--- a/helm/DEVEL/mathml_editor/dict/dictionary.dtd
+++ /dev/null
@@ -1,23 +0,0 @@
-
-<!ELEMENT dictionary ((include)*,(entry*))>
-<!ATTLIST dictionary
-  name      CDATA   #REQUIRED
->
-
-<!ELEMENT include EMPTY>
-<!ATTLIST include href CDATA>
-
-<!ELEMENT entry EMPTY>
-<!ATTLIST entry
-  name      ID        #REQUIRED
-  pattern   CDATA     #IMPLIED
-  val       CDATA     #IMPLIED
-  class     (m|o|i|n) #IMPLIED
-  table     (0|1)     #IMPLIED
-  delimiter (0|1)     #IMPLIED 
-  limits    (0|1)     #IMPLIED
-  embellishment (0|1) #IMPLIED
-  infix     NMTOKEN   #IMPLIED
-  prefix    NMTOKEN   #IMPLIED
-  postfix   NMTOKEN   #IMPLIED
->