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

Dear All, It has taken a little bit longer than I would have hoped but 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.110727.tgz The idea is that an experimental releas

Re: [ProofPower] How do you arrange Xpp?

I meant to add that I always use horizontal mode, so that would have got my vote as Mark predicted! A dynamic toggle would be very useful, I think. Phil On 27/07/11 13:37, Rob Arthan wrote: Thanks to Mark and Artur for their feedback. We have one vote each way, so for the time being I won't

Re: [ProofPower] How do you arrange Xpp?

Thanks to Mark and Artur for their feedback. We have one vote each way, so for the time being I won't change this. People like Mark with smallish screens should be aware that the window menu now has a Show/Hide Journal item as well as Show/Hide Script. Even when I using a big screen, I use thes