option -I: startup Isar interaction mode;
authorwenzelm
Mon Nov 09 11:20:46 1998 +0100 (1998-11-09)
changeset 5815b4d4a97df438
parent 5814 a3881c1f1d3c
child 5816 6f3cb53502fa
option -I: startup Isar interaction mode;
bin/isabelle
     1.1 --- a/bin/isabelle	Mon Nov 09 11:20:07 1998 +0100
     1.2 +++ b/bin/isabelle	Mon Nov 09 11:20:46 1998 +0100
     1.3 @@ -22,6 +22,7 @@
     1.4    echo "Usage: $PRG [OPTIONS] [INPUT] [OUTPUT]"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 +  echo "    -I           startup Isar interaction mode"
     1.8    echo "    -e MLTEXT    pass MLTEXT to the ML session"
     1.9    echo "    -m MODE      add print mode for output"
    1.10    echo "    -q           non-interactive session"
    1.11 @@ -54,9 +55,12 @@
    1.12  READONLY=""
    1.13  NOWRITE=""
    1.14  
    1.15 -while getopts "e:m:qruw" OPT
    1.16 +while getopts "Ie:m:qruw" OPT
    1.17  do
    1.18    case "$OPT" in
    1.19 +    I)
    1.20 +      MLTEXT="$MLTEXT OuterSyntax.main();"
    1.21 +      ;;
    1.22      e)
    1.23        MLTEXT="$MLTEXT $OPTARG"
    1.24        ;;