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
Proofpower@lemma-one.com
http://lemma-one
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 lemm