]> matita.cs.unibo.it Git - helm.git/commitdiff
bug fix in the dtd
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Sep 2011 19:08:29 +0000 (19:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Sep 2011 19:08:29 +0000 (19:08 +0000)
helm/www/lambda_delta/Makefile
helm/www/lambda_delta/download/lddl.tar.bz2
helm/www/lambda_delta/xml/ld.dtd

index 34eacbeb84834d408882c819c787b6861ba0b33f..af82c9ba537936d70cefac8610c0b08c8a0c5145 100644 (file)
@@ -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
index 8033d3784b59e03060a9da01437548e45f587120..0f326238846351ed58ad4de55298112a2e32ab0e 100644 (file)
Binary files a/helm/www/lambda_delta/download/lddl.tar.bz2 and b/helm/www/lambda_delta/download/lddl.tar.bz2 differ
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
 >