# 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" "$@"