On Tuesday 09 Jun 2009 2:28 pm, Roger Bishop Jones wrote:
> Rob,
>
>...
> In theory the attached tar file should enable you
> to reproduce the problem quickly.

And it did.

>
> ...
> It should fail in t018 after succeeding in building
> half a dozen other files.
>
> The two definitions of Set which clash are in
>
>     t006.doc and t019.doc

It turns out to be a bug. I have fixed it in version 2.8.1a18 which you can 
download from the website. With the fix, your scripts fail as they should in 
t018.doc on the new_parent call that would cause a clash.

Regards,

Rob.


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to