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

2011-09-13 Thread Phil Clayton
On 08/09/11 10:41, Rob Arthan wrote: On 6 Sep 2011, at 15:19, Phil Clayton wrote: I would have a similar issue the other way around. Is it possible for the width of the editor window to be the same whether or not Xpp is started with a journal window? That is exactly the old behaviour which is

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

2011-09-08 Thread Rob Arthan
Phil, On 6 Sep 2011, at 15:19, Phil Clayton wrote: >>> I would have a similar issue the other way around. Is it possible for the >>> width of the editor window to be the same whether or not Xpp is started >>> with a journal window? >> >> That is exactly the old behaviour which is bad for peo

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

2011-09-06 Thread Phil Clayton
Rob, On 04/09/11 11:49, Rob Arthan wrote: Phil, On 3 Sep 2011, at 20:01, Phil Clayton wrote: Rob, Thanks for the latest release. I have been using this for a while now and have a few comments. On 14/08/11 16:18, Rob Arthan wrote: a) For visual compatibility with the ISO standard, a sym

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

2011-09-04 Thread Rob Arthan
Phil, On 3 Sep 2011, at 20:01, Phil Clayton wrote: > Rob, > > Thanks for the latest release. I have been using this for a while now and > have a few comments. > > > On 14/08/11 16:18, Rob Arthan wrote: >> a) For visual compatibility with the ISO standard, a symbol for unary >> minus in Z ha

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

2011-09-03 Thread Phil Clayton
Rob, Thanks for the latest release. I have been using this for a while now and have a few comments. On 14/08/11 16:18, Rob Arthan wrote: a) For visual compatibility with the ISO standard, a symbol for unary minus in Z has been added to the font and defined as a synonym of the unary minus wr

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

2011-08-14 Thread Rob Arthan
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