W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2005

[Bug 2298] Precise semantics of double negation (formerly Cluster G, Issue 62)

From: <bugzilla@wiggum.w3.org>
Date: Mon, 07 Nov 2005 15:31:17 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1EZ8xp-00082k-A9@wiggum.w3.org>

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


doerre@de.ibm.com changed:

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




------- Additional Comments From doerre@de.ibm.com  2005-11-07 15:31 -------
AllMatches returned for FTSelections are subject to a Normal Form now, by which
it is insured that (! ! Q) behaves equivalent in all contexts to (Q) (see
Section 4.3.1.4 Match and AllMatches Normal Form)
Received on Monday, 7 November 2005 15:31:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:42 GMT