]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/TML.dtd
* added show/hide cursro methods
[helm.git] / helm / DEVEL / mathml_editor / TML.dtd
index a808c5ba7848062b150d81a6293c39fd72000e21..dcff7abad5058a80d118a8b7eb697ecaf3ae2118 100644 (file)
@@ -54,5 +54,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>