--- a/bin/isabelle Fri Jul 04 17:36:41 1997 +0200
+++ b/bin/isabelle Mon Jul 07 09:05:16 1997 +0200
@@ -26,6 +26,7 @@
echo " -m MODE add print mode for output"
echo " -q non-interactive session"
echo " -r open heap file read-only"
+ echo " -w reset write permissions on OUTPUT"
echo
echo " INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
echo " These are either names to be searched in the Isabelle path, or actual"
@@ -50,8 +51,9 @@
MODES=""
TERMINATE=""
READONLY=""
+NOWRITE=""
-while getopts "e:m:qr" OPT
+while getopts "e:m:qrw" OPT
do
case "$OPT" in
e)
@@ -70,6 +72,9 @@
r)
READONLY=true
;;
+ w)
+ NOWRITE=true
+ ;;
\?)
usage
;;
@@ -156,6 +161,6 @@
[ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT"
-export INFILE OUTFILE MLTEXT TERMINATE
+export INFILE OUTFILE MLTEXT TERMINATE NOWRITE
[ -f $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM ] && exec $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM
exec $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE