X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2FTML.dtd;fp=helm%2FDEVEL%2Fmathml_editor%2FTML.dtd;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=74760bb4598e305023eec6e19901f825c717b9f4;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/TML.dtd b/helm/DEVEL/mathml_editor/TML.dtd
deleted file mode 100644
index 74760bb45..000000000
--- a/helm/DEVEL/mathml_editor/TML.dtd
+++ /dev/null
@@ -1,66 +0,0 @@
-
-<!ENTITY % TML.node "i|n|o|s|sp|sb|g|c|row|cell|cursor">
-
-<!ENTITY % TML.common.attrib "
-  id         CDATA #IMPLIED
-  xref       CDATA #IMPLIED
-">
-
-<!ELEMENT tex (math|cursor)>
-
-<!ELEMENT math (g)>
-<!ATTLIST math
-  %TML.common.attrib;
-  display (0|1) true
->
-
-<!ELEMENT i EMPTY>
-<!ATTLIST i
-  %TML.common.attrib;
-  val     CDATA   #REQUIRED
-  name    NMTOKEN #IMPLIED>
-<!ELEMENT n EMPTY>
-<!ATTLIST n
-  %TML.common.attrib;
-  val     CDATA   #REQUIRED
-  name    NMTOKEN #IMPLIED>
-<!ELEMENT o EMPTY>
-<!ATTLIST o
-  %TML.common.attrib;
-  val     CDATA #REQUIRED
-  name    NMTOKEN #IMPLIED>
-<!ELEMENT s EMPTY>
-<!ATTLIST s
-  %TML.common.attrib;
-  val     CDATA #REQUIRED
-  name    NMTOKEN #IMPLIED>
-
-<!ELEMENT row (cell)+>
-<!ELEMENT cell (%TML.node;)>
-
-<!ELEMENT sb (%TML.node;,%TML.node;)>
-<!ATTLIST sb
-  %TML.common.attrib;
-  under   (0|1) #IMPLIED
->
-<!ELEMENT sp (%TML.node;,%TML.node;)>
-<!ATTLIST sp
-  %TML.common.attrib;
-  over    (0|1) #IMPLIED
->
-
-<!ELEMENT g (%TML.node;)+>
-<!ATTLIST g %TML.common.attrib;>
-
-<!ELEMENT c (%TML.node;)+>
-<!ATTLIST c
-  %TML.common.attrib;
-  name    NMTOKEN #REQUIRED
-  left-open (0|1) #IMPLIED>
-
-<!ELEMENT cursor EMPTY>
-<!ATTLIST
-  %TML.common.attrib;
-  val CDATA #REQUIRED
-  visible (0|1) #REQUIRED>
-