Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned msg;
authorwenzelm
Fri, 15 Sep 2000 16:53:41 +0200
changeset 9982 1860276fc8de
parent 9981 01a0c4772c18
child 9983 2826a1c3fe27
tuned msg;
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"
isabelle