[Bug 3188] [FS] editorial: 4.12.2 Typeswitch

• From: <bugzilla@wiggum.w3.org>
• Date: Wed, 03 May 2006 19:22:15 +0000
• To: public-qt-comments@w3.org
• CC:
• Message-Id: <E1FbMvP-0003TN-V3@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3188

           Summary: [FS] editorial:  4.12.2 Typeswitch
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


4.12.2 Typeswitch

STA / rule 1 / conclusion
statEnv |- (typeswitch (Expr0) ...
    The "|-" should be in bold.

Received on Wednesday, 3 May 2006 19:22:18 UTC