Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Show types


view this post on Zulip Email Gateway (Aug 19 2022 at 09:15):

From: Hidetsune Kobayashi <hdt.coba@gmail.com>
Hi all,

I want to turn on Isabelle -> Settings -> Display -> Show Types
in ProofGeneral by (emacs) lisp command.
Let me know which command makes the switch on.

Hidetsune

view this post on Zulip Email Gateway (Aug 19 2022 at 09:16):

From: René Neumann <rene.neumann@in.tum.de>
After Isabelle has been started (to toggle):

M-x isar-display:show-types-toggle

or directly in LISP:
(isar-display:show-types-toggle 1)

You might also be interested in my playing around with Isabelle/PG
variables from emacs, as found here [1]. There, I set the variables
before Isabelle has been started, and the code takes care to inject them
right after Isabelle started up.

[1]
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2012-September/msg00019.html
smime.p7s


Last updated: Mar 29 2024 at 01:04 UTC