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

[Bug 1694] [FS] editorial: 5 Modules and Prologs

From: <bugzilla@wiggum.w3.org>
Date: Wed, 04 Oct 2006 08:45:52 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GV2O0-0003hV-V0@wiggum.w3.org> 

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


jmdyck@ibiblio.org changed:

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




------- Comment #2 from jmdyck@ibiblio.org  2006-10-04 08:45 -------
I said:
>
> DEv / rule 1 / premise 2
>     Presumably you need to repeat
>       statEnvDefault |- PrologDeclList =>stat statEnv with PrologDeclList1
>     from STA / rule 1.
And you did, except you're missing the 'with PrologDeclList1' part.

Also, this hasn't been done:
> SCP / rule 2 / premise 1
> STA / rule 1 / premise 2
> DEv / rule 1 / premise 2
>     Change "==" to "=", see Bug 1548.
Received on Wednesday, 4 October 2006 08:45:56 GMT

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