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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
