changeset 34275 | 8f105e6a2b88 |
parent 29143 | 72c960b2b83e |
child 57414 | fe1be2844fda |
--- 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" "$@"