Dear All, I am happy to announce that OpenProofPower version 2.8.1 is now available from the ProofPower web site:
http://www.lemma-one.com/ProofPower/getting/getting.html Many thanks to all who helped with the new version and particularly Phil Clayton of QinetiQ. Regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com