Export XML-IRI and XMLNS-IRI. Change MAKE-XML-NAME to signal an error
authorChris Hanson <org/chris-hanson/cph>
Fri, 26 Sep 2003 00:35:52 +0000 (00:35 +0000)
committerChris Hanson <org/chris-hanson/cph>
Fri, 26 Sep 2003 00:35:52 +0000 (00:35 +0000)
commitafa2e6ba70105eb14de0042e1c61876a0c5bf0b9
tree8941bf7a188b200c29a4452b0830e01b36e9d933
parente73be9cab434c9a46ad4fc8ba683aead16570e32
Export XML-IRI and XMLNS-IRI.  Change MAKE-XML-NAME to signal an error
if the xml: or xmlns: prefixes are used with the wrong IRI.
v7/src/xml/xml-parser.scm
v7/src/xml/xml-struct.scm
v7/src/xml/xml.pkg