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

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



Proofpower mailing list

Reply via email to