- From: <bugzilla@wiggum.w3.org>
- Date: Sat, 15 Apr 2006 22:55:52 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1632
simeon@us.ibm.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |WONTFIX
------- Comment #2 from simeon@us.ibm.com 2006-04-15 22:55 -------
The formal semantics has already too many special notations, and the meaning of
inference rules when there is no precondition is explained in Section 2.1.4
Notations for inference rules. For that reason, we would prefer to keep it as
is. Let us know if you feel strongly about this.
- Jerome
Received on Saturday, 15 April 2006 22:56:00 UTC