From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 11 Sep 2011 19:08:29 +0000 (+0000)
Subject: bug fix in the dtd
X-Git-Tag: make_still_working~2290
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=be919e9d4086362ab0ba1ab071e7c1e5cacbb5a2;p=helm.git

bug fix in the dtd
---

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index 34eacbeb8..af82c9ba5 100644
--- a/helm/www/lambda_delta/Makefile
+++ b/helm/www/lambda_delta/Makefile
@@ -30,7 +30,7 @@ XMLS = brg_si/grundlagen/l/not.ld.xml \
        crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
        crg_si/grundlagen/l/e/pairis1.ld.xml \
        crg_si/grundlagen/l/e/st/eq/landau/n/327/t25.ld.xml \
-       brg_si/grundlagen/ccs.ldc.xml
+#       brg_si/grundlagen/ccs.ldc.xml
 
 XMLLINT = xmllint --noout
 XSLT    = xsltproc
diff --git a/helm/www/lambda_delta/download/lddl.tar.bz2 b/helm/www/lambda_delta/download/lddl.tar.bz2
index 8033d3784..0f3262388 100644
Binary files a/helm/www/lambda_delta/download/lddl.tar.bz2 and b/helm/www/lambda_delta/download/lddl.tar.bz2 differ
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
 >