]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld.dtd
- ld-html-root: ported to permanent lambda-delta url
[helm.git] / helm / software / lambda-delta / xml / ld.dtd
index 0378bb3979eae401c68cbe36a11bb8e408011cb9..3939d6f5b743a041cb701333b1220ebc735e5267 100644 (file)
 
 <!ELEMENT ABST %term;>
 <!ATTLIST ABST
-          uri   CDATA   #REQUIRED
-          level NMTOKEN #IMPLIED
-          name  NMTOKEN #IMPLIED
-          mark  NMTOKEN #IMPLIED
-         meta  CDATA   #IMPLIED
+          uri   CDATA    #REQUIRED
+          level NMTOKEN  #IMPLIED
+          name  NMTOKEN  #IMPLIED
+          mark  NMTOKEN  #IMPLIED
+         meta  NMTOKENS #IMPLIED
+         lang  NMTOKEN  "en-US"
+         info  CDATA    #IMPLIED
 >
 
 <!ELEMENT ABBR %term;>
 <!ATTLIST ABBR
-          uri  CDATA   #REQUIRED
-          name NMTOKEN #IMPLIED
-          mark NMTOKEN #IMPLIED
-         meta CDATA   #IMPLIED
+          uri  CDATA    #REQUIRED
+          name NMTOKEN  #IMPLIED
+          mark NMTOKEN  #IMPLIED
+         meta NMTOKENS #IMPLIED
+         lang NMTOKEN  "en-US"
+         info CDATA    #IMPLIED
 >
 
 <!ELEMENT ENTITY %entity;>
 <!ATTLIST ENTITY
-          hierarchy NMTOKEN  #REQUIRED
+          xmlns     CDATA    #FIXED    "http://lambda-delta.info"
+         hierarchy NMTOKEN  #REQUIRED
           options   NMTOKENS #IMPLIED
 >
 
 
 <!ELEMENT CCS %ccs;>
 <!ATTLIST CCS
-          uri  CDATA   #REQUIRED
+          xmlns CDATA #FIXED    "http://lambda-delta.info"
+          uri   CDATA #REQUIRED
 >