Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] settings to start emacs?

view this post on Zulip Email Gateway (Aug 18 2022 at 10:45):

From: Randy Pollack <rpollack@inf.ed.ac.uk>
I want to switch my "Isabelle" to startup gnu emacs instead of xemacs.
How do I do it?

Randy

view this post on Zulip Email Gateway (Aug 18 2022 at 10:46):

From: Makarius <makarius@sketis.net>
Running the Isabelle interface script with option -? will give you the
usage of that script (which happens to be part of ProofGeneral). You may
then add options to your liking via PROOFGENERAL_OPTIONS in
~/isabelle/etc/settings, e.g. something like "-p emacs" to specify plain
GNU Emacs (or any more specific path to an emacs executable).

Makarius

Last updated: May 03 2024 at 08:18 UTC