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

Reply via email to