Change HTML-EXTERNAL-DTD to HTML-EXTERNAL-ID.
authorChris Hanson <org/chris-hanson/cph>
Sat, 24 Jul 2004 03:03:24 +0000 (03:03 +0000)
committerChris Hanson <org/chris-hanson/cph>
Sat, 24 Jul 2004 03:03:24 +0000 (03:03 +0000)
commit2239c9c3919c2de81af7b2bff2947f1917fda8b6
treea9ebad979521b4fc6fffb8d288f6f264edda99e3
parentee7d8d6b6a3db1e69e8c7d90b783a4bfe80638f2
Change HTML-EXTERNAL-DTD to HTML-EXTERNAL-ID.
v7/src/xml/xhtml.scm
v7/src/xml/xml.pkg