Has anyone had a similar issue with the newest version of ProofPower? I appear to be running 2.9.1w2 and have never experienced this problem. I am able to get the palette and template tools to open through Xpp.
Regards, Jon On Tue, Jan 15, 2013 at 4:42 PM, Jon Lockhart <jal...@bucknell.edu> wrote: > Is 2.9.1w2 the latest release of ProofPower on the git hub? > > Regards, > Jon > > > > On Tue, Jan 15, 2013 at 4:39 PM, Roger Bishop Jones <r...@rbjones.com>wrote: > >> On Tuesday 15 Jan 2013 09:27:06 Roger Bishop Jones wrote: >> > On Tuesday 15 Jan 2013 07:43:30 Phil Clayton wrote: >> > > When you select Tools->Templates, do you see the templates dialog box >> > > (with very small buttons) or does nothing happen? (The first is a >> known >> > > issue that is easily worked around.) >> > >> > I havn't used the templates for a long time, but I see now that I don't >> have >> > them either (in 2.9.1w5). >> > I have unhashed the template include line in Xpp but the Tools menu in >> Xpp >> > still has Templates greyed out. >> >> On further investigation I do get the templates if I use an Xpp file in >> which >> the include for the templates is omitted (hashed), but if I use an include >> even with a full pathname it doesn't seem to pick up the template file. >> This applies also to the XppKeyboard file as well, I can't get the >> include to >> work, but if the include is omitted the behaviour corresponds to the >> issued >> XppKeyboard file (so far as I can see). >> >> Roger Jones >> >> >> _______________________________________________ >> Proofpower mailing list >> Proofpower@lemma-one.com >> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com >> > >
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
