bin/isabelle
changeset 3054 c16029f41ad9
parent 3007 e5efa177ee0c
child 3118 24dae6222579
     1.1 --- a/bin/isabelle	Fri Apr 25 15:08:25 1997 +0200
     1.2 +++ b/bin/isabelle	Fri Apr 25 15:08:52 1997 +0200
     1.3 @@ -22,7 +22,6 @@
     1.4    echo "Usage: $PRG [OPTIONS] [INPUT] [OUTPUT]"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 -  echo "    -c           force copying of heap file (for Poly/ML)"
     1.8    echo "    -e MLTEXT    pass MLTEXT to the ML session"
     1.9    echo "    -m MODE      add print mode for output"
    1.10    echo "    -q           non-interactive session"
    1.11 @@ -48,19 +47,14 @@
    1.12  
    1.13  # options
    1.14  
    1.15 -COPYDB=""
    1.16  MLTEXT=""
    1.17 -COPYDB=""
    1.18  MODES=""
    1.19  TERMINATE=""
    1.20  READONLY=""
    1.21  
    1.22 -while getopts "ce:m:qru" OPT
    1.23 +while getopts "e:m:qru" OPT
    1.24  do
    1.25    case "$OPT" in
    1.26 -    c)
    1.27 -      COPYDB=true
    1.28 -      ;;
    1.29      e)
    1.30        MLTEXT="$MLTEXT $OPTARG"
    1.31        ;;
    1.32 @@ -166,6 +160,6 @@
    1.33  
    1.34  [ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT"
    1.35  
    1.36 -export INFILE OUTFILE COPYDB MLTEXT TERMINATE
    1.37 +export INFILE OUTFILE MLTEXT TERMINATE
    1.38  [ -f $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM ] && exec $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM
    1.39  exec $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE