<extSubset> non-terminal is unreachable in xml grammar

http://www.w3.org/TR/1998/REC-xml-19980210.html#NT-extSubset

has a production for the <extSubset> non-terminal.
However, this is not reachable starting with <document> production.

You can verify this by searching for the string "extSubset".

Is this a bug?

Received on Wednesday, 1 December 1999 14:52:49 UTC