[Bug 1694] [FS] editorial: 5 Modules and Prologs from bugzilla@wiggum.w3.org on 2006-10-04 (public-qt-comments@w3.org from October 2006)

From: <bugzilla@wiggum.w3.org>
Date: Wed, 04 Oct 2006 08:45:52 +0000
To: public-qt-comments@w3.org
CC:
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 UTC