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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
