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
