xml-dev - Is this invalid?

[Richard Tobin <richard@cogsci.ed.ac.uk>]

Consider:

 <!DOCTYPE foo [
 <!ELEMENT foo ANY>
 <!ATTLIST foo a NMTOKEN "x">
 <!ATTLIST foo a NMTOKEN "*">
 ]>
 <foo/>

The second attribute declaration is ignored.  But is it still a
validity error that its default value is not an NMTOKEN?

(This occurred to me after seeing an article by Chris Maden in
comp.text.xml, but in that case the answer was clear.)

-- Richard

xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo@ic.ac.uk the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo@ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa@ic.ac.uk)