- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 21 Feb 2006 19:31:24 +0000
- To: public-qt-comments@w3.org
- Cc:
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