# HG changeset patch
# User wenzelm
# Date 969029621 -7200
# Node ID 1860276fc8dee5fdcfb0c7efb61441fee87cc7bd
# Parent  01a0c4772c187538c7c3208927cc85f7d56900f3
tuned msg;

diff -r 01a0c4772c18 -r 1860276fc8de bin/isabelle
--- 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"