Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 17 2022 at 13:27):

From: Oliver Pell <op@doc.ic.ac.uk>
Hi,

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?

Thanks,

Oliver.

view this post on Zulip Email Gateway (Aug 17 2022 at 13:28):

From: Makarius <makarius@sketis.net>
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

view this post on Zulip Email Gateway (Aug 17 2022 at 13:28):

From: David Aspinall <David.Aspinall@ed.ac.uk>
It's still where it was but will only appear once Isabelle is started.
If you don't see it, check that you are running a version of PG which supports
Isabelle2005.

Oliver Pell wrote:

Last updated: May 03 2024 at 04:19 UTC