- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 06 Oct 2006 08:16:32 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1806
jmdyck@ibiblio.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
------- Comment #2 from jmdyck@ibiblio.org 2006-10-06 08:16 -------
> Sem / rule 2 / premise 1
> "statEnv |- (...) fails"
> Change to:
> statEnv |- not(...)
The 'not' should be bold.
Received on Friday, 6 October 2006 08:16:36 UTC