W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1602] New: minor editorial for section 2.1.2

From: <bugzilla@wiggum.w3.org>
Date: Thu, 14 Jul 2005 23:42:19 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DtDLP-0002gU-GF@wiggum.w3.org>


           Summary: minor editorial for section 2.1.2
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org

2.1.2 Notations for judgments
Under "Notation" it says "Here are three judgments that are 
used extensively in this document".  It would be helpful to 
add that this is not an exhaustive list, and 
give forward pointers to places where other
judgments are defined.  Just mentioning section 8
"Auxiliary judgments" will cover most of them,
though there are other scattered places where some are defined.
Received on Thursday, 14 July 2005 23:42:23 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC