Re: [isabelle] "Settings" menu in Proof General



On Thu, 27 Oct 2005, Oliver Pell wrote:

> Has the "settings" menu option in Isabelle Proof General, that was under
> the Isabelle/Isar menu, changed position in Isabelle2005? Mine appears
> to have disappeared... Or does anyone know how to bring it back?

Did you try the version of ProofGeneral from the Isabelle distribution
page?  Also check if you have an old rpm/deb package of ProofGeneral
already installed, which is better removed first.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.