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

Reply via email to