Update list of element names to cover exactly those elements defined
authorChris Hanson <org/chris-hanson/cph>
Mon, 19 Jul 2004 04:45:20 +0000 (04:45 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 19 Jul 2004 04:45:20 +0000 (04:45 +0000)
commit1d61ef3a459bcd97bdcad71eddd77ec1db9cf363
treeceea362ead982956a1dda4968f474e1ffce5f855
parenta220dea8eaf9eb1f1b310ad5d17597f57e939c89
Update list of element names to cover exactly those elements defined
by XHTML 1.0 strict, and no others.  Add some context information, for
use in styling and analysis.

New procedures GUARANTEE-HTML-ELEMENT, HTML-ELEMENT-NAME?,
GUARANTEE-HTML-ELEMENT-NAME, HTML-ELEMENT-CONTEXT,
HTML-ELEMENT-NAME-CONTEXT, HTML-ELEMENT-NAMES.  Rename HTML-ATTRS to
XML-ATTRS.  Rename HTML:COMMENT to XML-COMMENT and move it to
"xml-struct".
v7/src/xml/xhtml.scm
v7/src/xml/xml-struct.scm
v7/src/xml/xml.pkg