bin/isabelle-process
changeset 31315 3c7b40548a84
parent 28935 7c6b0850d240
child 31317 1f5740424c69
     1.1 --- a/bin/isabelle-process	Sun May 31 15:07:03 2009 +0200
     1.2 +++ b/bin/isabelle-process	Sun May 31 15:27:19 2009 +0200
     1.3 @@ -26,7 +26,6 @@
     1.4    echo "Usage: $PRG [OPTIONS] [INPUT] [OUTPUT]"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 -  echo "    -C           tell ML system to copy output image"
     1.8    echo "    -I           startup Isar interaction mode"
     1.9    echo "    -P           startup Proof General interaction mode"
    1.10    echo "    -S           secure mode -- disallow critical operations"
    1.11 @@ -60,7 +59,6 @@
    1.12  
    1.13  # options
    1.14  
    1.15 -COPYDB=""
    1.16  ISAR=false
    1.17  PROOFGENERAL=""
    1.18  SECURE=""
    1.19 @@ -73,12 +71,9 @@
    1.20  READONLY=""
    1.21  NOWRITE=""
    1.22  
    1.23 -while getopts "CIPSW:Xce:fm:qruw" OPT
    1.24 +while getopts "IPSW:Xce:fm:qruw" OPT
    1.25  do
    1.26    case "$OPT" in
    1.27 -    C)
    1.28 -      COPYDB=true
    1.29 -      ;;
    1.30      I)
    1.31        ISAR=true
    1.32        ;;
    1.33 @@ -235,8 +230,7 @@
    1.34    NICE=""
    1.35  fi
    1.36  
    1.37 -export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE \
    1.38 -  ISABELLE_PID ISABELLE_TMP
    1.39 +export INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_PID ISABELLE_TMP
    1.40  
    1.41  if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
    1.42    $NICE "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"