Roger, It seems to work for me. How is it failing?
Regards, Rob. On 20 Nov 2008, at 17:34, Roger Bishop Jones wrote: > I tried out the new alpha of ProofPower this afternoon. > > It build OK (on openSUSE 11), but a builld of PPMathsEgs failed in > wrk066. > I used the latest version from lemma-one.com. > > Roger > > _______________________________________________ > 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
