X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fxml%2Fld.dtd;h=4c9046a271322bc54c312f54991cfa42927efff4;hb=35447b603d9b94a7a05bebc640d61d263820624c;hp=3dd881315be5b8728d8fc83b986fd67f0d9ff0b2;hpb=ae47e671a2e5b1c6498e62e0fd8703cea7ba53b2;p=helm.git

diff --git a/helm/www/lambda_delta/xml/ld.dtd b/helm/www/lambda_delta/xml/ld.dtd
index 3dd881315..4c9046a27 100644
--- a/helm/www/lambda_delta/xml/ld.dtd
+++ b/helm/www/lambda_delta/xml/ld.dtd
@@ -103,7 +103,7 @@
 
 <!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
 >
@@ -135,6 +135,6 @@
 
 <!ELEMENT CCS %ccs;>
 <!ATTLIST CCS
-          xmlns CDATA #FIXED    "http://lambda_delta.info"
+          xmlns CDATA #FIXED    "http://lambda-delta.info"
           uri   CDATA #REQUIRED
 >