[ProofPower] problems with 2.8.1a10

2008-12-05 Thread Roger Bishop Jones
On Saturday 22 November 2008 09:20:56 Rob Arthan wrote: (me) > > Can't find anything which suggests that these > > are configurable, any hints? (rob) > They are configured by the settings of Xpp.textTranslations and by the > settings of the acceleratorText resources for the menu entries in > whi

Re: [ProofPower] problems with 2.8.1a10

2008-12-05 Thread Roger Bishop Jones
On Thursday 04 December 2008 17:06:22 Roger Bishop Jones wrote: > Any idea what's going wrong here? Wrong version of maths_egs! Sorry 'bout that. Roger ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpo

Re: [ProofPower] problems with 2.8.1a10

2008-12-05 Thread Rob Arthan
On Thursday 04 Dec 2008 5:06 pm, Roger Bishop Jones wrote: > On Saturday 22 November 2008 09:20:56 Rob Arthan wrote: > > (me) > > > > Can't find anything which suggests that these > > > are configurable, any hints? > > (rob) > > > They are configured by the settings of Xpp.textTranslations and by