X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxml%2Fld.dtd;h=52afce570a5a8a34d482afe38ad2b2287a60a26d;hb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;hp=369f8c400ba593ebf60ea0342686aed977efcf04;hpb=a8a42ce5976221949b3999446eebc5d5457b81bd;p=helm.git

diff --git a/helm/www/lambdadelta/xml/ld.dtd b/helm/www/lambdadelta/xml/ld.dtd
index 369f8c400..52afce570 100644
--- a/helm/www/lambdadelta/xml/ld.dtd
+++ b/helm/www/lambdadelta/xml/ld.dtd
@@ -103,7 +103,7 @@
 
 <!ELEMENT ENTITY %entity;>
 <!ATTLIST ENTITY
-          xmlns     CDATA    #FIXED    "http://lambdadelta.info"
+          xmlns     CDATA    #FIXED    "http://lambdadelta.info/"
 	  hierarchy NMTOKEN  #REQUIRED
           options   NMTOKENS #IMPLIED
 >
@@ -135,6 +135,6 @@
 
 <!ELEMENT CCS %ccs;>
 <!ATTLIST CCS
-          xmlns CDATA #FIXED    "http://lambdadelta.info"
+          xmlns CDATA #FIXED    "http://lambdadelta.info/"
           uri   CDATA #REQUIRED
 >