bin/isabelle-process
changeset 52054 eaf17514aabd
parent 51964 f1c1d8637216
child 52056 fc458f304f93
     1.1 --- a/bin/isabelle-process	Fri May 17 18:23:39 2013 +0200
     1.2 +++ b/bin/isabelle-process	Fri May 17 18:39:49 2013 +0200
     1.3 @@ -32,11 +32,9 @@
     1.4    echo "    -T ADDR      startup process wrapper, with socket address"
     1.5    echo "    -W IN:OUT    startup process wrapper, with input/output fifos"
     1.6    echo "    -e MLTEXT    pass MLTEXT to the ML session"
     1.7 -  echo "    -f           pass 'Session.finish();' to the ML session"
     1.8    echo "    -m MODE      add print mode for output"
     1.9    echo "    -q           non-interactive session"
    1.10    echo "    -r           open heap file read-only"
    1.11 -  echo "    -u           pass 'use\"ROOT.ML\";' to the ML session"
    1.12    echo "    -w           reset write permissions on OUTPUT"
    1.13    echo
    1.14    echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
    1.15 @@ -69,7 +67,7 @@
    1.16  READONLY=""
    1.17  NOWRITE=""
    1.18  
    1.19 -while getopts "IPST:W:e:fm:qruw" OPT
    1.20 +while getopts "IPST:W:e:m:qrw" OPT
    1.21  do
    1.22    case "$OPT" in
    1.23      I)
    1.24 @@ -90,9 +88,6 @@
    1.25      e)
    1.26        MLTEXT="$MLTEXT $OPTARG"
    1.27        ;;
    1.28 -    f)
    1.29 -      MLTEXT="$MLTEXT Command_Line.tool0 Session.finish;"
    1.30 -      ;;
    1.31      m)
    1.32        if [ -z "$MODES" ]; then
    1.33          MODES="\"$OPTARG\""
    1.34 @@ -106,9 +101,6 @@
    1.35      r)
    1.36        READONLY=true
    1.37        ;;
    1.38 -    u)
    1.39 -      MLTEXT="$MLTEXT use\"ROOT.ML\";"
    1.40 -      ;;
    1.41      w)
    1.42        NOWRITE=true
    1.43        ;;