On Tue, 2 Dec 2008, Tjark Weber wrote: > On Sun, 2008-11-30 at 14:08 +0100, Makarius wrote: > > The old isabelle-interface wrapper could react in confusing ways if > > the interface was uninstalled or changed otherwise. Individual > > interface tool configuration is now more explicit, see also the > > Isabelle system manual. In particular, Proof General is now available > > via "isabelle emacs". > > I am using the repository version of Isabelle, > ProofGeneral-3.7.1-1.noarch.rpm, and GNU Emacs 22.2.1 (available as > emacs or emacs-22.2). > > "isabelle emacs" yields > > /usr/share/ProofGeneral/isar/interface: line 233: exec: emacs22: not > found > > This seems to be caused by > > PROOFGENERAL_EMACS= > $(choosefrom /Applications/Emacs.app/Contents/MacOS/Emacs emacs22) > > in isabelle/etc/settings (line 202). Or is anything wrong with my > configuration?
You can either pass option -p emacs (or whatever that emacs executable is called on your system) or set PROOFGENERAL_EMACS in ~/.isabelle/etc/settings Makarius