Dear All,Phil Clayton reported a problem with 2.8.1a14 that I believe I have now fixed. I have updated the tarball at:
http://www.lemma-one.com/ProofPower/getting/versions/OpenProofPower-2.8.1a14.tgz The right one is dated 28th January not 27th. Regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com