- From: Michael Rys <mrys@microsoft.com>
- Date: Fri, 9 Jul 2004 13:08:14 -0700
- To: <public-qt-comments@w3.org>
Section 7.2.2.1 Technical PI's and comments can occur before, after and inbetween the elements given by the Type of the document. Thus the following rule: ------------------------------------------------------------------------ -------- statEnv |- axis child:: of document { Type } : Type & processing-instructions* & comment* should be: ------------------------------------------------------------------------ -------- statEnv |- axis child:: of document { Type } : (pi? & cmt?)* , interspersepicmt(Type), (processing-instructions? & comment?) Or introduce a new symbol to denote the interspersing semantics instead of misusing &.
Received on Friday, 9 July 2004 16:08:19 UTC