This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
7.2.13 The fn:subsequence function STA / rule 5 / premise (2|3) "statEnv |- Expri : xs:double" "xs:double" should be in <code> font. STA / rule 5 / conclusion "prime(Type') ยท quantifier(Type')" s/Type'/Type/g
First comment fixed as suggested. Second comment had already been fixed in recent versions of the document. - Jerome