[Bug 28026] decimal digit family definition without definition syntax

https://www.w3.org/Bugs/Public/show_bug.cgi?id=28026

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
I don't think "mandatory-digit-sign" should be a defined term, because the
definition of the mandatory-digit-sign appears in the stylesheet/query, not in
the W3C specification. I guess you could argue that there is a concept which
the spec should define, but the references here are not to the concept, but to
the specific symbols defined in the stylesheet/query.

I can see the point that some hyperlinking would be useful, but introducing new
markup to support this is not a simple undertaking at this stage of
development.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Saturday, 14 February 2015 16:44:43 UTC