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

[Bug 1804] [FS] editorial: E.1.4.2 Erases

From: <bugzilla@wiggum.w3.org>
Date: Tue, 21 Feb 2006 19:31:24 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1FBdEK-0000wX-L4@wiggum.w3.org>

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


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




------- Additional Comments From simeon@us.ibm.com  2006-02-21 19:31 -------
#1 Notation // Fixed.

#2 Notation / rule 1 / judgment_form_declaration 1 // Removed the unnecessary
statEnv in those judgments.

#3 Sem / rule 4 // Fixed.

#4 Sem / rule 8 / conclusion // Fixed

#5 Sem / rule 9 / conclusion. Looking at the grammar
in 2.3.1 Formal values a simple value is indeed a value.

- Jerome
Received on Tuesday, 21 February 2006 19:31:28 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:10 UTC