bin/isabelle
changeset 8359 124ad46105dd
parent 7887 eedfff88ee40
child 9786 270ca580b880
     1.1 --- a/bin/isabelle	Wed Mar 08 17:36:54 2000 +0100
     1.2 +++ b/bin/isabelle	Wed Mar 08 17:39:08 2000 +0100
     1.3 @@ -23,6 +23,7 @@
     1.4    echo
     1.5    echo "  Options are:"
     1.6    echo "    -I           startup Isar interaction mode"
     1.7 +  echo "    -c           tell ML system to compress output image"
     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 @@ -49,18 +50,22 @@
    1.12  
    1.13  # options
    1.14  
    1.15 +COMPRESS=""
    1.16  MLTEXT=""
    1.17  MODES=""
    1.18  TERMINATE=""
    1.19  READONLY=""
    1.20  NOWRITE=""
    1.21  
    1.22 -while getopts "Ie:m:qruw" OPT
    1.23 +while getopts "Ice:m:qruw" OPT
    1.24  do
    1.25    case "$OPT" in
    1.26      I)
    1.27        MLTEXT="$MLTEXT Isar.main();"
    1.28        ;;
    1.29 +    c)
    1.30 +      COMPRESS=true
    1.31 +      ;;
    1.32      e)
    1.33        MLTEXT="$MLTEXT $OPTARG"
    1.34        ;;
    1.35 @@ -177,7 +182,7 @@
    1.36  
    1.37  [ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT"
    1.38  
    1.39 -export INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP
    1.40 +export INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
    1.41  
    1.42  if [ -f $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM ]; then
    1.43    $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM