]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/TML.dtd
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / TML.dtd
index dcff7abad5058a80d118a8b7eb697ecaf3ae2118..74760bb4598e305023eec6e19901f825c717b9f4 100644 (file)
@@ -1,5 +1,5 @@
 
-<!ENTITY % TML.node "i|n|o|sp|sb|g|c|row|cell|cursor">
+<!ENTITY % TML.node "i|n|o|s|sp|sb|g|c|row|cell|cursor">
 
 <!ENTITY % TML.common.attrib "
   id         CDATA #IMPLIED
   %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;)>