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


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to