--- a/bin/isabelle Wed Mar 08 17:36:54 2000 +0100
+++ b/bin/isabelle Wed Mar 08 17:39:08 2000 +0100
@@ -23,6 +23,7 @@
echo
echo " Options are:"
echo " -I startup Isar interaction mode"
+ echo " -c tell ML system to compress output image"
echo " -e MLTEXT pass MLTEXT to the ML session"
echo " -m MODE add print mode for output"
echo " -q non-interactive session"
@@ -49,18 +50,22 @@
# options
+COMPRESS=""
MLTEXT=""
MODES=""
TERMINATE=""
READONLY=""
NOWRITE=""
-while getopts "Ie:m:qruw" OPT
+while getopts "Ice:m:qruw" OPT
do
case "$OPT" in
I)
MLTEXT="$MLTEXT Isar.main();"
;;
+ c)
+ COMPRESS=true
+ ;;
e)
MLTEXT="$MLTEXT $OPTARG"
;;
@@ -177,7 +182,7 @@
[ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT"
-export INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP
+export INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
if [ -f $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM ]; then
$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM