- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 06 Oct 2006 08:10:11 +0000
- To: public-qt-comments@w3.org
- CC:
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 UTC