Re: unreported error in the document REC-xml-19980210

>Date: Wed, 26 May 1999 16:39:30 +0900
>From: "Chang Pil, Kim" <cpkim@hoho.human.co.kr>

>Section 2.3
>
>    The production
>
>[12] PubidLiteral ::= '"' PubidChar* '"' | "'" (PubidChar - "'")* "'"
>
>    should be
>
>[12] PubidLiteral ::= '"' (PubidChar - '"')* '"' | "'" (PubidChar - "'")* "'"

Thank you for your note.

I think the change is not required, since the double quote character
(") is not generated by the non-terminal PubidChar (production 13).
Thus the set of PubidChar characters, minus the double quote, is the
set of PubidChar characters.

best regards,

-C. M. Sperberg-McQueen
 Co-chair, W3C XML Schema Work Group 
 Senior Research Programmer, University of Illinois at Chicago

Received on Wednesday, 26 May 1999 09:56:58 UTC