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
On 27 Jan 2009, at 21:54, Artur Oliveira Gomes wrote:
Rob,
I'll try to install this release on Ubuntu.
You mentioned Mac OS X. Do you have a tutorial, anything to help me
in order to install ProofPower on a Mac?
It is just like installing on Linux. You need to have installed the