Dear All,

Many thanks to Phil Clayton for help with debugging while I am temporarily
away from my usual development environment. I believe that we now have
OpenProofPower 2.8.1a14 working on Ubuntu. The file to download from

http://www.lemma-one.com/ProofPower/getting/versions/

is OpenProofPower-2.8.1a14.tgz dated 29th January.

Regards,

Rob.


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to