- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 21 Feb 2006 19:41:39 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1548
mff@research.att.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
------- Additional Comments From mff@research.att.com 2006-02-21 19:41 -------
Changed "Normalization judgments" to "Normalization rules"
and corresponding text to indicate that normalization rules
are an abbreviated form of inference rule.
Changed "==" to "="
Received on Tuesday, 21 February 2006 19:41:46 UTC