Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recovered legacy settings for Proof General 3.x;
authorwenzelm
Tue, 05 Jan 2010 16:55:00 +0100
changeset 34275 8f105e6a2b88
parent 34274 2cb69632d3fa
child 34276 12436485c244
child 34294 19c1fd52d6c9
recovered legacy settings for Proof General 3.x;
lib/Tools/emacs file | annotate | diff | comparison | revisions 
--- 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" "$@"
isabelle