--- a/bin/isabelle-interface Sat Oct 04 16:05:15 2008 +0200
+++ b/bin/isabelle-interface Sat Oct 04 16:19:00 2008 +0200
@@ -32,7 +32,7 @@
case "$ISABELLE_INTERFACE" in
none)
- INTERFACE="$ISABELLE"
+ INTERFACE="$ISABELLE_PROCESS"
;;
*/*)
INTERFACE="$ISABELLE_INTERFACE"