Roger, Thanks, so the issue is then with an older release of the tool.
Regards, Jon On Tue, Jan 15, 2013 at 4:51 PM, Roger Bishop Jones <[email protected]> wrote: > ** > > On Tuesday 15 Jan 2013 16:42:21 Jon Lockhart wrote: > > Is 2.9.1w2 the latest release of ProofPower on the git hub? > > > > 2.9.1w5 is available at lemma-one.com. > > > > Roger Jones > > _______________________________________________ > Proofpower mailing list > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > >
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
