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