]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xml/ld.dtd
bugfix in uri's: missing "/" added to baseuri's where necessary
[helm.git] / helm / www / lambdadelta / xml / ld.dtd
index 369f8c400ba593ebf60ea0342686aed977efcf04..52afce570a5a8a34d482afe38ad2b2287a60a26d 100644 (file)
 
 <!ELEMENT ENTITY %entity;>
 <!ATTLIST ENTITY
-          xmlns     CDATA    #FIXED    "http://lambdadelta.info"
+          xmlns     CDATA    #FIXED    "http://lambdadelta.info/"
          hierarchy NMTOKEN  #REQUIRED
           options   NMTOKENS #IMPLIED
 >
 
 <!ELEMENT CCS %ccs;>
 <!ATTLIST CCS
-          xmlns CDATA #FIXED    "http://lambdadelta.info"
+          xmlns CDATA #FIXED    "http://lambdadelta.info/"
           uri   CDATA #REQUIRED
 >