Email Gateway (Aug 18 2022 at 10:13): Email Gateway (Aug 18 2022 at 10:13):From: Sam TH <samth@ccs.neu.edu>
I'm using the development version of Isabelle, along with Proof
General, and I don't have the ability to turn on "Show Types". There
isn't any "Settings" submenu under the "Isabelle" menu.
Is this a known issue with the development version? Is there a
workaround? Is there something else I should be doing?
Thanks,
Email Gateway (Aug 18 2022 at 10:13):From: Stefan Berghofer <berghofe@in.tum.de>
Sam TH wrote:
You're most likely using an older version of ProofGeneral which is
incompatible with the development version of Isabelle. To solve the
problem, you could try to use the CVS version of ProofGeneral
(see http://proofgeneral.inf.ed.ac.uk/devel) or try the pre-release
version. If you can't get the "Settings" submenu to work, you can
also switch on "Show Types" by issuing the command
ML "set show_types"
Greetings,
Stefan
Last updated: May 03 2024 at 04:19 UTC