X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2FTML.dtd;h=74760bb4598e305023eec6e19901f825c717b9f4;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=dcff7abad5058a80d118a8b7eb697ecaf3ae2118;hpb=8d15b9f68470945a45ce96dbc1c892742c85cb9c;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/TML.dtd b/helm/DEVEL/mathml_editor/TML.dtd
index dcff7abad..74760bb45 100644
--- a/helm/DEVEL/mathml_editor/TML.dtd
+++ b/helm/DEVEL/mathml_editor/TML.dtd
@@ -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
@@ -29,6 +29,11 @@
   %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;)>