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 usage line;
authorwenzelm
Tue, 21 Oct 2008 20:18:07 +0200
changeset 28650 a7ba12e0d3b7
parent 28649 58ab885469f5
child 28651 0e3f899eb6cf
tuned usage line;
lib/Tools/browser file | annotate | diff | comparison | revisions
lib/Tools/codegen file | annotate | diff | comparison | revisions
lib/Tools/dimacs2hol file | annotate | diff | comparison | revisions
lib/Tools/display file | annotate | diff | comparison | revisions
lib/Tools/doc file | annotate | diff | comparison | revisions
lib/Tools/document file | annotate | diff | comparison | revisions
lib/Tools/env file | annotate | diff | comparison | revisions
lib/Tools/findlogics file | annotate | diff | comparison | revisions
lib/Tools/getenv file | annotate | diff | comparison | revisions
lib/Tools/install file | annotate | diff | comparison | revisions
lib/Tools/keywords file | annotate | diff | comparison | revisions
lib/Tools/latex file | annotate | diff | comparison | revisions
lib/Tools/logo file | annotate | diff | comparison | revisions
lib/Tools/make file | annotate | diff | comparison | revisions
lib/Tools/makeall file | annotate | diff | comparison | revisions
lib/Tools/mkdir file | annotate | diff | comparison | revisions
lib/Tools/mkfifo file | annotate | diff | comparison | revisions
lib/Tools/mkproject file | annotate | diff | comparison | revisions
lib/Tools/print file | annotate | diff | comparison | revisions
lib/Tools/rmfifo file | annotate | diff | comparison | revisions
lib/Tools/tty file | annotate | diff | comparison | revisions
lib/Tools/unsymbolize file | annotate | diff | comparison | revisions
lib/Tools/usedir file | annotate | diff | comparison | revisions
lib/Tools/yxml file | annotate | diff | comparison | revisions 
--- a/lib/Tools/browser	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/browser	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] [GRAPHFILE]"
+  echo "Usage: isabelle $PRG [OPTIONS] [GRAPHFILE]"
   echo
   echo "  Options are:"
   echo "    -c           cleanup -- remove GRAPHFILE after use"
--- a/lib/Tools/codegen	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/codegen	Tue Oct 21 20:18:07 2008 +0200
@@ -13,7 +13,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG IMAGE THY CMD"
+  echo "Usage: isabelle $PRG IMAGE THY CMD"
   echo
   echo "  Issues code generation using image IMAGE,"
   echo "  theory THY,"
--- a/lib/Tools/dimacs2hol	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/dimacs2hol	Tue Oct 21 20:18:07 2008 +0200
@@ -14,7 +14,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG FILES"
+  echo "Usage: isabelle $PRG FILES"
   echo
   echo "  Convert files in DIMACS CNF format [1] into Isabelle/HOL theories."
   echo
--- a/lib/Tools/display	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/display	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] FILE"
+  echo "Usage: isabelle $PRG [OPTIONS] FILE"
   echo
   echo "  Options are:"
   echo "    -c           cleanup -- remove FILE after use"
--- a/lib/Tools/doc	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/doc	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [DOC]"
+  echo "Usage: isabelle $PRG [DOC]"
   echo
   echo "  View Isabelle documentation DOC, or show list of available documents."
   echo
--- a/lib/Tools/document	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/document	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] [DIR]"
+  echo "Usage: isabelle $PRG [OPTIONS] [DIR]"
   echo
   echo "  Options are:"
   echo "    -c           cleanup -- be aggressive in removing old stuff"
--- a/lib/Tools/env	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/env	Tue Oct 21 20:18:07 2008 +0200
@@ -13,7 +13,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [CMDLINE ...]"
+  echo "Usage: isabelle $PRG [CMDLINE ...]"
   echo
   echo
   echo "  Run CMDLINE within the Isabelle environment (via the system's env command)."
--- a/lib/Tools/findlogics	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/findlogics	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG"
+  echo "Usage: isabelle $PRG"
   echo
   echo "  Collect heap file names from ISABELLE_PATH."
   echo
--- a/lib/Tools/getenv	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/getenv	Tue Oct 21 20:18:07 2008 +0200
@@ -13,7 +13,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] [VARNAMES ...]"
+  echo "Usage: isabelle $PRG [OPTIONS] [VARNAMES ...]"
   echo
   echo "  Options are:"
   echo "    -a           display complete environment"
--- a/lib/Tools/install	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/install	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS]"
+  echo "Usage: isabelle $PRG [OPTIONS]"
   echo
   echo "  Options are:"
   echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
--- a/lib/Tools/keywords	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/keywords	Tue Oct 21 20:18:07 2008 +0200
@@ -13,7 +13,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] [LOGS ...]"
+  echo "Usage: isabelle $PRG [OPTIONS] [LOGS ...]"
   echo
   echo "  Options are:"
   echo "    -k NAME      specific name of keywords collection (default: empty)"
--- a/lib/Tools/latex	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/latex	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] [FILE]"
+  echo "Usage: isabelle $PRG [OPTIONS] [FILE]"
   echo
   echo "  Options are:"
   echo "    -o FORMAT    specify output format: dvi (default), dvi.gz, ps, ps.gz,"
--- a/lib/Tools/logo	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/logo	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] NAME"
+  echo "Usage: isabelle $PRG [OPTIONS] NAME"
   echo
   echo "  Create instance NAME of the Isabelle logo (as EPS)."
   echo
--- a/lib/Tools/make	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/make	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [ARGS ...]"
+  echo "Usage: isabelle $PRG [ARGS ...]"
   echo
   echo "  Compile the logic in current directory using IsaMakefile."
   echo "  ARGS are directly passed to the system make program."
--- a/lib/Tools/makeall	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/makeall	Tue Oct 21 20:18:07 2008 +0200
@@ -17,7 +17,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [ARGS ...]"
+  echo "Usage: isabelle $PRG [ARGS ...]"
   echo
   echo "  Apply isabelle make to all logics (passing ARGS)."
   echo
--- a/lib/Tools/mkdir	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/mkdir	Tue Oct 21 20:18:07 2008 +0200
@@ -13,7 +13,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] [LOGIC] NAME"
+  echo "Usage: isabelle $PRG [OPTIONS] [LOGIC] NAME"
   echo
   echo "  Options are:"
   echo "    -I FILE      alternative IsaMakefile output"
--- a/lib/Tools/mkfifo	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/mkfifo	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG"
+  echo "Usage: isabelle $PRG"
   echo
   echo "  Create a temporary named pipe and return its name."
   echo
--- a/lib/Tools/mkproject	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/mkproject	Tue Oct 21 20:18:07 2008 +0200
@@ -10,7 +10,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG NAME"
+  echo "Usage: isabelle $PRG NAME"
   echo
   echo "  Prepare a session directory for PG-Eclipse."
   exit 1
--- a/lib/Tools/print	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/print	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] FILE"
+  echo "Usage: isabelle $PRG [OPTIONS] FILE"
   echo
   echo "  Options are:"
   echo "    -c           cleanup -- remove FILE after use"
--- a/lib/Tools/rmfifo	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/rmfifo	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG NAME"
+  echo "Usage: isabelle $PRG NAME"
   echo
   echo "  Remove an unused named pipe, after producing dummy output"
   echo "  to unblock the reader (blocks if no reader present)."
--- a/lib/Tools/tty	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/tty	Tue Oct 21 20:18:07 2008 +0200
@@ -10,7 +10,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS]"
+  echo "Usage: isabelle $PRG [OPTIONS]"
   echo
   echo "  Options are:"
   echo "    -l NAME      logic image name (default ISABELLE_LOGIC=\"$ISABELLE_LOGIC\")"
--- a/lib/Tools/unsymbolize	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/unsymbolize	Tue Oct 21 20:18:07 2008 +0200
@@ -13,7 +13,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [FILES|DIRS...]"
+  echo "Usage: isabelle $PRG [FILES|DIRS...]"
   echo
   echo "  Recursively find .thy/.ML files, removing unreadable symbol names."
   echo "  Note: this is an ad-hoc script; there is no systematic way to replace"
--- a/lib/Tools/usedir	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/usedir	Tue Oct 21 20:18:07 2008 +0200
@@ -13,7 +13,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [OPTIONS] LOGIC NAME"
+  echo "Usage: isabelle $PRG [OPTIONS] LOGIC NAME"
   echo
   echo "  Options are:"
   echo "    -C BOOL      copy existing document directory to -D PATH (default true)"
--- a/lib/Tools/yxml	Tue Oct 21 20:17:40 2008 +0200
+++ b/lib/Tools/yxml	Tue Oct 21 20:18:07 2008 +0200
@@ -11,7 +11,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG"
+  echo "Usage: isabelle $PRG"
   echo
   echo "  Convert XML (stdin) to YXML (stdout)."
   echo
isabelle