author | wenzelm |
Fri, 15 Sep 2000 16:53:41 +0200 | |
changeset 9982 | 1860276fc8de |
parent 9981 | 01a0c4772c18 |
child 9983 | 2826a1c3fe27 |
bin/isabelle | file | annotate | diff | comparison | revisions |
--- a/bin/isabelle Fri Sep 15 16:46:15 2000 +0200 +++ b/bin/isabelle Fri Sep 15 16:53:41 2000 +0200 @@ -25,7 +25,7 @@ echo echo " Options are:" echo " -I startup Isar interaction mode" - echo " -P startup ProofGeneral interaction mode" + echo " -P startup Proof General interaction mode" echo " -c tell ML system to compress output image" echo " -e MLTEXT pass MLTEXT to the ML session" echo " -m MODE add print mode for output"