http://www.w3.org/Bugs/Public/show_bug.cgi?id=1882 ------- Additional Comments From cmsmcq@w3.org 2005-08-30 16:33 ------- Good catch. But I think the new rule should continue to forbid comment-end delimiters, otherwise we risk recreating the mirror image of this problem. I think: [155] CommentContents ::= (Char+ - (Char* ('(:'|':)') Char*)) (although i am not sure why the first token on the RHS is Char+ instead of Char*. By the current rule, (::) is not a legal comment, which seems restrictive.Received on Tuesday, 30 August 2005 16:33:34 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:07 UTC