I have (sort of) run into this problem in JUMBO. Since I do not (yet) know
how any PI is going to be used (or what additional PIs or PI-like syntax
the WG will put forward) I have had to keep some sort of track of PIs
regardless of where they come. It could be logical to say that all PIs
before the DOCTYPE were ignored, but then we could find that the WG used
such PIs for something in the future. It's probably also necessary to
assume that order matters for PIs (i.e. they may be used to switch
behaviour on or off). [That's the problem of trying to support something
like PIs, whose function is (deliberately) left undefined :-)].
P.
>
>
>All the best,
>
>
>David
>
>--
>David Megginson ak117@freenet.carleton.ca
>Microstar Software Ltd. dmeggins@microstar.com
> http://home.sprynet.com/sprynet/dmeggins/
>
>xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@ic.ac.uk
>Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
>To (un)subscribe, mailto:majordomo@ic.ac.uk the following message;
>(un)subscribe xml-dev
>To subscribe to the digests, mailto:majordomo@ic.ac.uk the following message;
>subscribe xml-dev-digest
>List coordinator, Henry Rzepa (mailto:rzepa@ic.ac.uk)
>
>
Peter Murray-Rust, Director Virtual School of Molecular Sciences, domestic
net connection
VSMS http://www.nottingham.ac.uk/vsms, Virtual Hyperglossary
http://www.venus.co.uk/vhg