bin/isabelle
changeset 2395 c24a79fe3651
parent 2343 2588b63b42ca
child 2591 ae16f162f973
     1.1 --- a/bin/isabelle	Fri Dec 13 18:45:58 1996 +0100
     1.2 +++ b/bin/isabelle	Mon Dec 16 09:53:30 1996 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  ## settings
     1.5  
     1.6  ISABELLE_HOME=$(dirname $(dirname $0))
     1.7 -. $ISABELLE_HOME/lib/scripts/getsettings
     1.8 +. $ISABELLE_HOME/lib/scripts/getsettings || exit 2
     1.9  . $ISABELLE_HOME/lib/scripts/getplatform
    1.10  
    1.11  
    1.12 @@ -22,7 +22,7 @@
    1.13    echo "Usage: $PRG [OPTIONS] [INPUT] [OUTPUT]"
    1.14    echo
    1.15    echo "  Options are:"
    1.16 -  echo "    -c           force copying of heap file"
    1.17 +  echo "    -c           force copying of heap file (for Poly/ML)"
    1.18    echo "    -e MLTEXT    pass MLTEXT to the ML session"
    1.19    echo "    -q           non-interactive session"
    1.20    echo "    -r           open heap file read-only"