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 isabelle usage;
authorwenzelm
Sat, 04 Oct 2008 17:50:57 +0200
changeset 28506 3ab515ee4e6f
parent 28505 f98751bd715f
child 28507 325592dad134
tuned isabelle usage;
bin/isabelle file | annotate | diff | comparison | revisions
doc-src/System/Thy/Basics.thy file | annotate | diff | comparison | revisions 
--- a/bin/isabelle	Sat Oct 04 17:40:58 2008 +0200
+++ b/bin/isabelle	Sat Oct 04 17:50:57 2008 +0200
@@ -24,10 +24,9 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG TOOL [ARGS ...]"
+  echo "Usage: $PRG NAME [ARGS ...]"
   echo
-  echo "  Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL"
-  echo "  for more specific help."
+  echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
   echo
   echo "  Available tools are:"
   (
--- a/doc-src/System/Thy/Basics.thy	Sat Oct 04 17:40:58 2008 +0200
+++ b/doc-src/System/Thy/Basics.thy	Sat Oct 04 17:50:57 2008 +0200
@@ -437,8 +437,7 @@
 \begin{ttbox}
 Usage: isabelle TOOL [ARGS ...]
 
-  Start Isabelle utility program TOOL with ARGS. Pass "-?" to TOOL
-  for more specific help.
+  Start Isabelle tool NAME with ARGS; pass "-?" for tool specific help.
 
   Available tools are:
isabelle