tuned msg;
authorwenzelm
Fri Sep 15 16:53:41 2000 +0200 (2000-09-15)
changeset 99821860276fc8de
parent 9981 01a0c4772c18
child 9983 2826a1c3fe27
tuned msg;
bin/isabelle
     1.1 --- a/bin/isabelle	Fri Sep 15 16:46:15 2000 +0200
     1.2 +++ b/bin/isabelle	Fri Sep 15 16:53:41 2000 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4    echo
     1.5    echo "  Options are:"
     1.6    echo "    -I           startup Isar interaction mode"
     1.7 -  echo "    -P           startup ProofGeneral interaction mode"
     1.8 +  echo "    -P           startup Proof General interaction mode"
     1.9    echo "    -c           tell ML system to compress output image"
    1.10    echo "    -e MLTEXT    pass MLTEXT to the ML session"
    1.11    echo "    -m MODE      add print mode for output"