W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2015

[Bug 28026] decimal digit family definition without definition syntax

From: <bugzilla@jessica.w3.org>
Date: Sat, 14 Feb 2015 16:44:38 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-28026-523-Upu5CytM4e@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.3.1 : Saturday, 14 February 2015 16:44:43 UTC