# HG changeset patch # User wenzelm # Date 1262706900 -3600 # Node ID 8f105e6a2b88d78a73404e976b9a3169bd23b82e # Parent 2cb69632d3fa3a101a97df72069c77ec157e0043 recovered legacy settings for Proof General 3.x; diff -r 2cb69632d3fa -r 8f105e6a2b88 lib/Tools/emacs --- a/lib/Tools/emacs Tue Jan 05 16:51:01 2010 +0100 +++ b/lib/Tools/emacs Tue Jan 05 16:55:00 2010 +0100 @@ -21,4 +21,8 @@ INTERFACE="$PROOFGENERAL_HOME/isar/interface" [ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\"" +#legacy settings +export ISABELLE="$ISABELLE_PROCESS" +export ISATOOL="$ISABELLE_TOOL" + exec "$INTERFACE" "$@"