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=a808c5ba7848062b150d81a6293c39fd72000e21;hb=30060cffed61b88fe53e4d6386b606050d6dfda0;hp=0000000000000000000000000000000000000000;hpb=e6927665462cbbace76cff1b17d4f8badcb44eda;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/TML.dtd b/helm/DEVEL/mathml_editor/TML.dtd
new file mode 100644
index 000000000..a808c5ba7
--- /dev/null
+++ b/helm/DEVEL/mathml_editor/TML.dtd
@@ -0,0 +1,58 @@
+
+<!ENTITY % TML.node "i|n|o|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 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>
+