added -u option (again);
authorwenzelm
Mon Jan 05 12:56:22 1998 +0100 (1998-01-05)
changeset 4516f90b2d459a1b
parent 4515 44af72721564
child 4517 fad9b7479dbe
added -u option (again);
bin/isabelle
     1.1 --- a/bin/isabelle	Mon Jan 05 10:47:10 1998 +0100
     1.2 +++ b/bin/isabelle	Mon Jan 05 12:56:22 1998 +0100
     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 "    -u           pass 'use\"ROOT.ML\";' to the ML session"
     1.8    echo "    -w           reset write permissions on OUTPUT"
     1.9    echo
    1.10    echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
    1.11 @@ -53,7 +54,7 @@
    1.12  READONLY=""
    1.13  NOWRITE=""
    1.14  
    1.15 -while getopts "e:m:qrw" OPT
    1.16 +while getopts "e:m:qruw" OPT
    1.17  do
    1.18    case "$OPT" in
    1.19      e)
    1.20 @@ -72,6 +73,9 @@
    1.21      r)
    1.22        READONLY=true
    1.23        ;;
    1.24 +    u)
    1.25 +      MLTEXT="$MLTEXT use\"ROOT.ML\";"
    1.26 +      ;;
    1.27      w)
    1.28        NOWRITE=true
    1.29        ;;