--- markup/xml/xmlcc/xmlcc-work.en.html 2007/11/12 12:53:50 1.5 +++ markup/xml/xmlcc/xmlcc-work.en.html 2007/11/12 13:14:13 1.6 @@ -4,6 +4,15 @@ manakai's XML Conformance Checking + @@ -467,14 +476,24 @@ a public identifier (pid), the algorithm below MUST be used:

    -
  1. If pid contains any character - that is outside of the range of #x20 | - [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%], - or contains a leading U+0020 character, - a trailing U+0020 character, or a - sequence of two or more U+0020 characters, - then it is a - xml-well-formedness-error.
    2. +
  2. If pid contains any character + that is outside of the range of #x20 | #xD | #xA | + [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%], + then it is an + xml-well-formedness-error.
    3. +
  3. If pid contains one of U+0009 + CHARACTER TABULATION, + U+000A CARRIAGE RETURN, + and U+000D LINE FEED + characters, if the first character of pid is + U+0020 SPACE character, + if the last character of pid is U+0020 + SPACE character, or if there is a + U+0020 SPACE character + immediately followed by another U+0020 + SPACE character in pid, then it is a + round-trip-error.
    4. +
  4. @@ Should we check formal-public-identifierness?