This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1806 - [FS] editorial: E.1.5.1 Simply annotate
Summary: [FS] editorial: E.1.5.1 Simply annotate
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-22 04:27 UTC by Michael Dyck
Modified: 2007-02-25 23:19 UTC (History)
0 users

See Also:


Attachments

Description Michael Dyck 2005-07-22 04:27:14 UTC
E.1.5.1 Simply annotate

Sem / rule (1|2) / conclusion
"(SimpleValue) => SimpleValue2"
    s/SimpleValue/SimpleValue1/

Sem / rule 2 / premise 1
"statEnv |- (...) fails"
    Change to:
        statEnv |- not(...)
(leftover from last year, comment #266)
Comment 1 Jerome Simeon 2006-02-21 18:41:16 UTC
#1 Sem / rule (1|2) / conclusion. // Agreed. Fixed

#2 Sem / rule 2 / premise 1. // Agreed. Fixed

- Jerome
Comment 2 Michael Dyck 2006-10-06 08:16:31 UTC
> Sem / rule 2 / premise 1
> "statEnv |- (...) fails"
>     Change to:
>         statEnv |- not(...)

The 'not' should be bold.
Comment 3 Jerome Simeon 2007-01-16 18:06:20 UTC
Fixed.
- Jerome
Comment 4 Jim Melton 2007-02-25 23:19:54 UTC
Closing bug because commenter has not objected to the resolution posted on 2007-01-16