W3C home > Mailing lists > Public > xml-editor@w3.org > April to June 1999

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

From: C M Sperberg-McQueen <cmsmcq@acm.org>
Date: Wed, 26 May 1999 08:56:09 -0500
Message-Id: <199905261356.IAA99792@tigger.cc.uic.edu>
To: cpkim@hoho.human.co.kr
CC: xml-editor@w3.org, cmsmcq@acm.org
>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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:59:29 GMT