W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2006

[Bug 1804] [FS] editorial: E.1.4.2 Erases

From: <bugzilla@wiggum.w3.org>
Date: Fri, 06 Oct 2006 08:10:11 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GVkmZ-0001xb-Nc@wiggum.w3.org>


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





------- Comment #19 from jmdyck@ibiblio.org  2006-10-06 08:10 -------
(By the way, in F.1.4.2 / Sem / rule 2 / premise 2,
you should delete "statEnv |-".)

Received on Friday, 6 October 2006 08:10:22 GMT

This message: [ Message body ]
Next message: bugzilla@wiggum.w3.org: "[Bug 1806] [FS] editorial: E.1.5.1 Simply annotate"
Previous message: bugzilla@wiggum.w3.org: "[Bug 1800] [FS] editorial: E.1 Judgments for the validate expression"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:17 GMT