[isabelle-dev] NEWS (update)

[Makarius]

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