# HG changeset patch
# User wenzelm
# Date 868259116 -7200
# Node ID ec22ba0a26ecb60b8875102267cc222e28e678f6
# Parent  4ab477ffb4c6a28cff7b652f421c4049e664e93e
added -w option;

diff -r 4ab477ffb4c6 -r ec22ba0a26ec bin/isabelle
--- 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