diff -r 5ffb9bad6517 -r eaf17514aabd bin/isabelle-process
--- a/bin/isabelle-process	Fri May 17 18:23:39 2013 +0200
+++ b/bin/isabelle-process	Fri May 17 18:39:49 2013 +0200
@@ -32,11 +32,9 @@
   echo "    -T ADDR      startup process wrapper, with socket address"
   echo "    -W IN:OUT    startup process wrapper, with input/output fifos"
   echo "    -e MLTEXT    pass MLTEXT to the ML session"
-  echo "    -f           pass 'Session.finish();' to the ML session"
   echo "    -m MODE      add print mode for output"
   echo "    -q           non-interactive session"
   echo "    -r           open heap file read-only"
-  echo "    -u           pass 'use\"ROOT.ML\";' to the ML session"
   echo "    -w           reset write permissions on OUTPUT"
   echo
   echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
@@ -69,7 +67,7 @@
 READONLY=""
 NOWRITE=""
 
-while getopts "IPST:W:e:fm:qruw" OPT
+while getopts "IPST:W:e:m:qrw" OPT
 do
   case "$OPT" in
     I)
@@ -90,9 +88,6 @@
     e)
       MLTEXT="$MLTEXT $OPTARG"
       ;;
-    f)
-      MLTEXT="$MLTEXT Command_Line.tool0 Session.finish;"
-      ;;
     m)
       if [ -z "$MODES" ]; then
         MODES="\"$OPTARG\""
@@ -106,9 +101,6 @@
     r)
       READONLY=true
       ;;
-    u)
-      MLTEXT="$MLTEXT use\"ROOT.ML\";"
-      ;;
     w)
       NOWRITE=true
       ;;