# HG changeset patch
# User wenzelm
# Date 1224613087 -7200
# Node ID a7ba12e0d3b732b22a59b19f4bab344c6d797090
# Parent  58ab885469f52a4f4adda14b937af4be4b796130
tuned usage line;

diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/browser
--- 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"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/codegen
--- 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,"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/dimacs2hol
--- 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
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/display
--- 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"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/doc
--- 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
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/document
--- 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"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/env
--- 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)."
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/findlogics
--- 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
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/getenv
--- 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"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/install
--- 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"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/keywords
--- 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)"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/latex
--- 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,"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/logo
--- 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
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/make
--- 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."
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/makeall
--- 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
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/mkdir
--- 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"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/mkfifo
--- 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
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/mkproject
--- 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
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/print
--- 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"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/rmfifo
--- 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)."
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/tty
--- 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\")"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/unsymbolize
--- 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"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/usedir
--- 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)"
diff -r 58ab885469f5 -r a7ba12e0d3b7 lib/Tools/yxml
--- 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