lib/Tools/tty

--- a/lib/Tools/tty	Sat Oct 04 16:05:15 2008 +0200
+++ b/lib/Tools/tty	Sat Oct 04 16:19:00 2008 +0200
@@ -67,7 +67,7 @@
 ## main
 
 if [ -n "$LINE_EDITOR" ]; then
-  exec "$LINE_EDITOR" "$ISABELLE" $ISABELLE_OPTIONS "$LOGIC"
+  exec "$LINE_EDITOR" "$ISABELLE_PROCESS" $ISABELLE_OPTIONS "$LOGIC"
 else
-  exec "$ISABELLE" $ISABELLE_OPTIONS "$LOGIC"
+  exec "$ISABELLE_PROCESS" $ISABELLE_OPTIONS "$LOGIC"
 fi