]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/xml/ld.dtd
the refactoring continues ...
[helm.git] / helm / software / helena / xml / ld.dtd
index 3939d6f5b743a041cb701333b1220ebc735e5267..3dd881315be5b8728d8fc83b986fd67f0d9ff0b2 100644 (file)
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
-<!-- DTD for persistent lambda-delta logical data -->
+<!-- DTD for persistent lambda_delta logical data -->
 
 <!-- TERMS -->
 
 
 <!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
 >