]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/xml/ld.dtd
- milestone update in basic_2
[helm.git] / helm / www / lambda_delta / xml / ld.dtd
index 3dd881315be5b8728d8fc83b986fd67f0d9ff0b2..4c9046a271322bc54c312f54991cfa42927efff4 100644 (file)
 
 <!ELEMENT ENTITY %entity;>
 <!ATTLIST ENTITY
-          xmlns     CDATA    #FIXED    "http://lambda_delta.info"
+          xmlns     CDATA    #FIXED    "http://lambda-delta.info"
          hierarchy NMTOKEN  #REQUIRED
           options   NMTOKENS #IMPLIED
 >
 
 <!ELEMENT CCS %ccs;>
 <!ATTLIST CCS
-          xmlns CDATA #FIXED    "http://lambda_delta.info"
+          xmlns CDATA #FIXED    "http://lambda-delta.info"
           uri   CDATA #REQUIRED
 >