]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld.dtd
txtLexer: bug fix in parsing the string tokens
[helm.git] / helm / software / lambda-delta / xml / ld.dtd
index 83cfc0596e0e8fdf96ce1d47859c482f3a5f5241..c167640219002581408190033f08a1b9f3c7386e 100644 (file)
@@ -15,6 +15,7 @@
           position NMTOKEN  #REQUIRED
           name     NMTOKENS #IMPLIED
           mark     NMTOKENS #IMPLIED
+         meta     CDATA    #IMPLIED
 >
 
 <!ELEMENT LRef EMPTY>
@@ -22,6 +23,7 @@
           position NMTOKEN  #REQUIRED
           name     NMTOKENS #IMPLIED
           mark     NMTOKENS #IMPLIED
+         meta     CDATA    #IMPLIED
 >
 
 <!ELEMENT GRef EMPTY>
           uri  CDATA    #REQUIRED
           name NMTOKENS #IMPLIED
           mark NMTOKENS #IMPLIED
+         meta CDATA    #IMPLIED
 >
 
 <!ELEMENT Cast %term;>
 <!ATTLIST Cast
-          name NMTOKENS #IMPLIED
-          mark NMTOKENS #IMPLIED
+          name  NMTOKENS #IMPLIED
+          arity NMTOKENS #IMPLIED
+          mark  NMTOKENS #IMPLIED
+         meta  CDATA    #IMPLIED
 >
 
 <!ELEMENT Appl %term;>
 <!ATTLIST Appl
-          name NMTOKENS #IMPLIED
-          mark NMTOKENS #IMPLIED
+          name  NMTOKENS #IMPLIED
+          arity NMTOKENS #IMPLIED
+          mark  NMTOKENS #IMPLIED
+         meta  CDATA    #IMPLIED
 >
 
 <!ELEMENT Abst %term;>
 <!ATTLIST Abst
-          name NMTOKENS #IMPLIED
-          mark NMTOKENS #IMPLIED
+          name  NMTOKENS #IMPLIED
+          arity NMTOKENS #IMPLIED
+          mark  NMTOKENS #IMPLIED
+         meta  CDATA    #IMPLIED
 >
 
 <!ELEMENT Abbr %term;>
 <!ATTLIST Abbr
-          name NMTOKENS #IMPLIED
-          mark NMTOKENS #IMPLIED
+          name  NMTOKENS #IMPLIED
+          arity NMTOKENS #IMPLIED
+          mark  NMTOKENS #IMPLIED
+         meta  CDATA    #IMPLIED
 >
 
 <!ELEMENT Void EMPTY>
 <!ATTLIST Void
-          name NMTOKENS #IMPLIED
-          mark NMTOKENS #IMPLIED
+          name  NMTOKENS #IMPLIED
+          arity NMTOKENS #IMPLIED
+         mark  NMTOKENS #IMPLIED
+         meta  CDATA    #IMPLIED
 >
 
 <!-- ENVIRONMENT ENTRIES -->
@@ -70,6 +83,7 @@
           uri  CDATA    #REQUIRED
           name NMTOKENS #IMPLIED
           mark NMTOKENS #IMPLIED
+         meta CDATA    #IMPLIED
 >
 
 <!ELEMENT ABBR %term;>
@@ -77,6 +91,7 @@
           uri  CDATA    #REQUIRED
           name NMTOKENS #IMPLIED
           mark NMTOKENS #IMPLIED
+         meta CDATA    #IMPLIED
 >
 
 <!-- ROOT -->