I am happy to announce that a new version of OpenProofPower is available. See
http://www.lemma-one.com/ProofPower/getting The new version is 2.9.1w5 and supersedes 2.9.1w2. It incorporates a number of fixes. Regards, Rob.
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com