--- a/bin/isabelle-process Sun May 31 15:29:43 2009 +0200
+++ b/bin/isabelle-process Sun May 31 15:49:35 2009 +0200
@@ -31,7 +31,6 @@
echo " -S secure mode -- disallow critical operations"
echo " -X startup PGIP interaction mode"
echo " -W OUTPUT startup process wrapper, with messages going to OUTPUT stream"
- echo " -c tell ML system to compress output image"
echo " -e MLTEXT pass MLTEXT to the ML session"
echo " -f pass 'Session.finish();' to the ML session"
echo " -m MODE add print mode for output"
@@ -64,14 +63,13 @@
SECURE=""
WRAPPER_OUTPUT=""
PGIP=""
-COMPRESS=""
MLTEXT=""
MODES=""
TERMINATE=""
READONLY=""
NOWRITE=""
-while getopts "IPSW:Xce:fm:qruw" OPT
+while getopts "IPSW:Xe:fm:qruw" OPT
do
case "$OPT" in
I)
@@ -89,9 +87,6 @@
X)
PGIP=true
;;
- c)
- COMPRESS=true
- ;;
e)
MLTEXT="$MLTEXT $OPTARG"
;;
@@ -230,7 +225,7 @@
NICE=""
fi
-export INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_PID ISABELLE_TMP
+export INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_PID ISABELLE_TMP
if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
$NICE "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"