It seems to work for me. How is it failing?
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
> I used the latest version from lemma-one.com.
> Proofpower mailing list
Proofpower mailing list