--- a/bin/isabelle-process Thu Feb 28 14:29:54 2013 +0100
+++ b/bin/isabelle-process Thu Feb 28 16:19:08 2013 +0100
@@ -96,7 +96,7 @@
MLTEXT="$MLTEXT $OPTARG"
;;
f)
- MLTEXT="$MLTEXT Session.finish();"
+ MLTEXT="$MLTEXT Command_Line.tool0 Session.finish;"
;;
m)
if [ -z "$MODES" ]; then