bin/isabelle
changeset 3502 ec22ba0a26ec
parent 3203 af42c8cc8e75
child 4333 1d326b826851
     1.1 --- a/bin/isabelle	Fri Jul 04 17:36:41 1997 +0200
     1.2 +++ b/bin/isabelle	Mon Jul 07 09:05:16 1997 +0200
     1.3 @@ -26,6 +26,7 @@
     1.4    echo "    -m MODE      add print mode for output"
     1.5    echo "    -q           non-interactive session"
     1.6    echo "    -r           open heap file read-only"
     1.7 +  echo "    -w           reset write permissions on OUTPUT"
     1.8    echo
     1.9    echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
    1.10    echo "  These are either names to be searched in the Isabelle path, or actual"
    1.11 @@ -50,8 +51,9 @@
    1.12  MODES=""
    1.13  TERMINATE=""
    1.14  READONLY=""
    1.15 +NOWRITE=""
    1.16  
    1.17 -while getopts "e:m:qr" OPT
    1.18 +while getopts "e:m:qrw" OPT
    1.19  do
    1.20    case "$OPT" in
    1.21      e)
    1.22 @@ -70,6 +72,9 @@
    1.23      r)
    1.24        READONLY=true
    1.25        ;;
    1.26 +    w)
    1.27 +      NOWRITE=true
    1.28 +      ;;
    1.29      \?)
    1.30        usage
    1.31        ;;
    1.32 @@ -156,6 +161,6 @@
    1.33  
    1.34  [ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT"
    1.35  
    1.36 -export INFILE OUTFILE MLTEXT TERMINATE
    1.37 +export INFILE OUTFILE MLTEXT TERMINATE NOWRITE
    1.38  [ -f $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM ] && exec $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM
    1.39  exec $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE