On Tue, 2008-12-02 at 16:36 +0100, Makarius wrote: > You can [...] set PROOFGENERAL_EMACS in > ~/.isabelle/etc/settings Looks like I have to (re)set PROOFGENERAL_OPTIONS="-p $PROOFGENERAL_EMACS" in ~/.isabelle/etc/settings as well then. Best, Tjark