[ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814

Dear All, I have just completed a new experimental release of OpenProofPower. You can find it here: http://www.lemma-one.com/ProofPower/getting/experimental/OpenProofPower-2.9.1w2.rda.110814.tgz The idea is that an experimental release is a step toward the next stable version (2.9.2 in this ca

Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814

Oops1 On 14 Aug 2011, at 16:18, Rob Arthan wrote: > ... > b) In xpp, you can now switch dynamically between the horizontal and vertical > layout using a new item in the window geometry. I meant "new item in the Window Menu". Regards, Rob.___ Proofpo