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

diff --git a/helm/DEVEL/mathml_editor/TML.dtd b/helm/DEVEL/mathml_editor/TML.dtd
index a808c5ba7..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;)>
@@ -54,5 +59,8 @@
   left-open (0|1) #IMPLIED>
 
 <!ELEMENT cursor EMPTY>
-<!ATTLIST %TML.common.attrib; val CDATA #REQUIRED>
+<!ATTLIST
+  %TML.common.attrib;
+  val CDATA #REQUIRED
+  visible (0|1) #REQUIRED>