bin/isabelle-process
changeset 20929 cd2a6d00ec47
parent 20923 059926d1d074
child 21639 8ab7c4dbb524
     1.1 --- a/bin/isabelle-process	Mon Oct 09 19:37:07 2006 +0200
     1.2 +++ b/bin/isabelle-process	Mon Oct 09 20:12:42 2006 +0200
     1.3 @@ -30,7 +30,7 @@
     1.4    echo "    -C           tell ML system to copy output image"
     1.5    echo "    -I           startup Isar interaction mode"
     1.6    echo "    -P           startup Proof General interaction mode"
     1.7 -  echo "    -S           secure mode -- disallow critical operations (e.g. ML evaluation)"
     1.8 +  echo "    -S           secure mode -- disallow critical operations"
     1.9    echo "    -X           startup PGIP interaction mode"
    1.10    echo "    -c           tell ML system to compress output image"
    1.11    echo "    -e MLTEXT    pass MLTEXT to the ML session"