tuned usage line;
authorwenzelm
Tue Oct 21 20:18:07 2008 +0200 (2008-10-21)
changeset 28650a7ba12e0d3b7
parent 28649 58ab885469f5
child 28651 0e3f899eb6cf
tuned usage line;
lib/Tools/browser
lib/Tools/codegen
lib/Tools/dimacs2hol
lib/Tools/display
lib/Tools/doc
lib/Tools/document
lib/Tools/env
lib/Tools/findlogics
lib/Tools/getenv
lib/Tools/install
lib/Tools/keywords
lib/Tools/latex
lib/Tools/logo
lib/Tools/make
lib/Tools/makeall
lib/Tools/mkdir
lib/Tools/mkfifo
lib/Tools/mkproject
lib/Tools/print
lib/Tools/rmfifo
lib/Tools/tty
lib/Tools/unsymbolize
lib/Tools/usedir
lib/Tools/yxml
     1.1 --- a/lib/Tools/browser	Tue Oct 21 20:17:40 2008 +0200
     1.2 +++ b/lib/Tools/browser	Tue Oct 21 20:18:07 2008 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  function usage()
     1.5  {
     1.6    echo
     1.7 -  echo "Usage: $PRG [OPTIONS] [GRAPHFILE]"
     1.8 +  echo "Usage: isabelle $PRG [OPTIONS] [GRAPHFILE]"
     1.9    echo
    1.10    echo "  Options are:"
    1.11    echo "    -c           cleanup -- remove GRAPHFILE after use"
     2.1 --- a/lib/Tools/codegen	Tue Oct 21 20:17:40 2008 +0200
     2.2 +++ b/lib/Tools/codegen	Tue Oct 21 20:18:07 2008 +0200
     2.3 @@ -13,7 +13,7 @@
     2.4  function usage()
     2.5  {
     2.6    echo
     2.7 -  echo "Usage: $PRG IMAGE THY CMD"
     2.8 +  echo "Usage: isabelle $PRG IMAGE THY CMD"
     2.9    echo
    2.10    echo "  Issues code generation using image IMAGE,"
    2.11    echo "  theory THY,"
     3.1 --- a/lib/Tools/dimacs2hol	Tue Oct 21 20:17:40 2008 +0200
     3.2 +++ b/lib/Tools/dimacs2hol	Tue Oct 21 20:18:07 2008 +0200
     3.3 @@ -14,7 +14,7 @@
     3.4  function usage()
     3.5  {
     3.6    echo
     3.7 -  echo "Usage: $PRG FILES"
     3.8 +  echo "Usage: isabelle $PRG FILES"
     3.9    echo
    3.10    echo "  Convert files in DIMACS CNF format [1] into Isabelle/HOL theories."
    3.11    echo
     4.1 --- a/lib/Tools/display	Tue Oct 21 20:17:40 2008 +0200
     4.2 +++ b/lib/Tools/display	Tue Oct 21 20:18:07 2008 +0200
     4.3 @@ -11,7 +11,7 @@
     4.4  function usage()
     4.5  {
     4.6    echo
     4.7 -  echo "Usage: $PRG [OPTIONS] FILE"
     4.8 +  echo "Usage: isabelle $PRG [OPTIONS] FILE"
     4.9    echo
    4.10    echo "  Options are:"
    4.11    echo "    -c           cleanup -- remove FILE after use"
     5.1 --- a/lib/Tools/doc	Tue Oct 21 20:17:40 2008 +0200
     5.2 +++ b/lib/Tools/doc	Tue Oct 21 20:18:07 2008 +0200
     5.3 @@ -11,7 +11,7 @@
     5.4  function usage()
     5.5  {
     5.6    echo
     5.7 -  echo "Usage: $PRG [DOC]"
     5.8 +  echo "Usage: isabelle $PRG [DOC]"
     5.9    echo
    5.10    echo "  View Isabelle documentation DOC, or show list of available documents."
    5.11    echo
     6.1 --- a/lib/Tools/document	Tue Oct 21 20:17:40 2008 +0200
     6.2 +++ b/lib/Tools/document	Tue Oct 21 20:18:07 2008 +0200
     6.3 @@ -11,7 +11,7 @@
     6.4  function usage()
     6.5  {
     6.6    echo
     6.7 -  echo "Usage: $PRG [OPTIONS] [DIR]"
     6.8 +  echo "Usage: isabelle $PRG [OPTIONS] [DIR]"
     6.9    echo
    6.10    echo "  Options are:"
    6.11    echo "    -c           cleanup -- be aggressive in removing old stuff"
     7.1 --- a/lib/Tools/env	Tue Oct 21 20:17:40 2008 +0200
     7.2 +++ b/lib/Tools/env	Tue Oct 21 20:18:07 2008 +0200
     7.3 @@ -13,7 +13,7 @@
     7.4  function usage()
     7.5  {
     7.6    echo
     7.7 -  echo "Usage: $PRG [CMDLINE ...]"
     7.8 +  echo "Usage: isabelle $PRG [CMDLINE ...]"
     7.9    echo
    7.10    echo
    7.11    echo "  Run CMDLINE within the Isabelle environment (via the system's env command)."
     8.1 --- a/lib/Tools/findlogics	Tue Oct 21 20:17:40 2008 +0200
     8.2 +++ b/lib/Tools/findlogics	Tue Oct 21 20:18:07 2008 +0200
     8.3 @@ -11,7 +11,7 @@
     8.4  function usage()
     8.5  {
     8.6    echo
     8.7 -  echo "Usage: $PRG"
     8.8 +  echo "Usage: isabelle $PRG"
     8.9    echo
    8.10    echo "  Collect heap file names from ISABELLE_PATH."
    8.11    echo
     9.1 --- a/lib/Tools/getenv	Tue Oct 21 20:17:40 2008 +0200
     9.2 +++ b/lib/Tools/getenv	Tue Oct 21 20:18:07 2008 +0200
     9.3 @@ -13,7 +13,7 @@
     9.4  function usage()
     9.5  {
     9.6    echo
     9.7 -  echo "Usage: $PRG [OPTIONS] [VARNAMES ...]"
     9.8 +  echo "Usage: isabelle $PRG [OPTIONS] [VARNAMES ...]"
     9.9    echo
    9.10    echo "  Options are:"
    9.11    echo "    -a           display complete environment"
    10.1 --- a/lib/Tools/install	Tue Oct 21 20:17:40 2008 +0200
    10.2 +++ b/lib/Tools/install	Tue Oct 21 20:18:07 2008 +0200
    10.3 @@ -11,7 +11,7 @@
    10.4  function usage()
    10.5  {
    10.6    echo
    10.7 -  echo "Usage: $PRG [OPTIONS]"
    10.8 +  echo "Usage: isabelle $PRG [OPTIONS]"
    10.9    echo
   10.10    echo "  Options are:"
   10.11    echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
    11.1 --- a/lib/Tools/keywords	Tue Oct 21 20:17:40 2008 +0200
    11.2 +++ b/lib/Tools/keywords	Tue Oct 21 20:18:07 2008 +0200
    11.3 @@ -13,7 +13,7 @@
    11.4  function usage()
    11.5  {
    11.6    echo
    11.7 -  echo "Usage: $PRG [OPTIONS] [LOGS ...]"
    11.8 +  echo "Usage: isabelle $PRG [OPTIONS] [LOGS ...]"
    11.9    echo
   11.10    echo "  Options are:"
   11.11    echo "    -k NAME      specific name of keywords collection (default: empty)"
    12.1 --- a/lib/Tools/latex	Tue Oct 21 20:17:40 2008 +0200
    12.2 +++ b/lib/Tools/latex	Tue Oct 21 20:18:07 2008 +0200
    12.3 @@ -11,7 +11,7 @@
    12.4  function usage()
    12.5  {
    12.6    echo
    12.7 -  echo "Usage: $PRG [OPTIONS] [FILE]"
    12.8 +  echo "Usage: isabelle $PRG [OPTIONS] [FILE]"
    12.9    echo
   12.10    echo "  Options are:"
   12.11    echo "    -o FORMAT    specify output format: dvi (default), dvi.gz, ps, ps.gz,"
    13.1 --- a/lib/Tools/logo	Tue Oct 21 20:17:40 2008 +0200
    13.2 +++ b/lib/Tools/logo	Tue Oct 21 20:18:07 2008 +0200
    13.3 @@ -11,7 +11,7 @@
    13.4  function usage()
    13.5  {
    13.6    echo
    13.7 -  echo "Usage: $PRG [OPTIONS] NAME"
    13.8 +  echo "Usage: isabelle $PRG [OPTIONS] NAME"
    13.9    echo
   13.10    echo "  Create instance NAME of the Isabelle logo (as EPS)."
   13.11    echo
    14.1 --- a/lib/Tools/make	Tue Oct 21 20:17:40 2008 +0200
    14.2 +++ b/lib/Tools/make	Tue Oct 21 20:18:07 2008 +0200
    14.3 @@ -11,7 +11,7 @@
    14.4  function usage()
    14.5  {
    14.6    echo
    14.7 -  echo "Usage: $PRG [ARGS ...]"
    14.8 +  echo "Usage: isabelle $PRG [ARGS ...]"
    14.9    echo
   14.10    echo "  Compile the logic in current directory using IsaMakefile."
   14.11    echo "  ARGS are directly passed to the system make program."
    15.1 --- a/lib/Tools/makeall	Tue Oct 21 20:17:40 2008 +0200
    15.2 +++ b/lib/Tools/makeall	Tue Oct 21 20:18:07 2008 +0200
    15.3 @@ -17,7 +17,7 @@
    15.4  function usage()
    15.5  {
    15.6    echo
    15.7 -  echo "Usage: $PRG [ARGS ...]"
    15.8 +  echo "Usage: isabelle $PRG [ARGS ...]"
    15.9    echo
   15.10    echo "  Apply isabelle make to all logics (passing ARGS)."
   15.11    echo
    16.1 --- a/lib/Tools/mkdir	Tue Oct 21 20:17:40 2008 +0200
    16.2 +++ b/lib/Tools/mkdir	Tue Oct 21 20:18:07 2008 +0200
    16.3 @@ -13,7 +13,7 @@
    16.4  function usage()
    16.5  {
    16.6    echo
    16.7 -  echo "Usage: $PRG [OPTIONS] [LOGIC] NAME"
    16.8 +  echo "Usage: isabelle $PRG [OPTIONS] [LOGIC] NAME"
    16.9    echo
   16.10    echo "  Options are:"
   16.11    echo "    -I FILE      alternative IsaMakefile output"
    17.1 --- a/lib/Tools/mkfifo	Tue Oct 21 20:17:40 2008 +0200
    17.2 +++ b/lib/Tools/mkfifo	Tue Oct 21 20:18:07 2008 +0200
    17.3 @@ -11,7 +11,7 @@
    17.4  function usage()
    17.5  {
    17.6    echo
    17.7 -  echo "Usage: $PRG"
    17.8 +  echo "Usage: isabelle $PRG"
    17.9    echo
   17.10    echo "  Create a temporary named pipe and return its name."
   17.11    echo
    18.1 --- a/lib/Tools/mkproject	Tue Oct 21 20:17:40 2008 +0200
    18.2 +++ b/lib/Tools/mkproject	Tue Oct 21 20:18:07 2008 +0200
    18.3 @@ -10,7 +10,7 @@
    18.4  function usage()
    18.5  {
    18.6    echo
    18.7 -  echo "Usage: $PRG NAME"
    18.8 +  echo "Usage: isabelle $PRG NAME"
    18.9    echo
   18.10    echo "  Prepare a session directory for PG-Eclipse."
   18.11    exit 1
    19.1 --- a/lib/Tools/print	Tue Oct 21 20:17:40 2008 +0200
    19.2 +++ b/lib/Tools/print	Tue Oct 21 20:18:07 2008 +0200
    19.3 @@ -11,7 +11,7 @@
    19.4  function usage()
    19.5  {
    19.6    echo
    19.7 -  echo "Usage: $PRG [OPTIONS] FILE"
    19.8 +  echo "Usage: isabelle $PRG [OPTIONS] FILE"
    19.9    echo
   19.10    echo "  Options are:"
   19.11    echo "    -c           cleanup -- remove FILE after use"
    20.1 --- a/lib/Tools/rmfifo	Tue Oct 21 20:17:40 2008 +0200
    20.2 +++ b/lib/Tools/rmfifo	Tue Oct 21 20:18:07 2008 +0200
    20.3 @@ -11,7 +11,7 @@
    20.4  function usage()
    20.5  {
    20.6    echo
    20.7 -  echo "Usage: $PRG NAME"
    20.8 +  echo "Usage: isabelle $PRG NAME"
    20.9    echo
   20.10    echo "  Remove an unused named pipe, after producing dummy output"
   20.11    echo "  to unblock the reader (blocks if no reader present)."
    21.1 --- a/lib/Tools/tty	Tue Oct 21 20:17:40 2008 +0200
    21.2 +++ b/lib/Tools/tty	Tue Oct 21 20:18:07 2008 +0200
    21.3 @@ -10,7 +10,7 @@
    21.4  function usage()
    21.5  {
    21.6    echo
    21.7 -  echo "Usage: $PRG [OPTIONS]"
    21.8 +  echo "Usage: isabelle $PRG [OPTIONS]"
    21.9    echo
   21.10    echo "  Options are:"
   21.11    echo "    -l NAME      logic image name (default ISABELLE_LOGIC=\"$ISABELLE_LOGIC\")"
    22.1 --- a/lib/Tools/unsymbolize	Tue Oct 21 20:17:40 2008 +0200
    22.2 +++ b/lib/Tools/unsymbolize	Tue Oct 21 20:18:07 2008 +0200
    22.3 @@ -13,7 +13,7 @@
    22.4  function usage()
    22.5  {
    22.6    echo
    22.7 -  echo "Usage: $PRG [FILES|DIRS...]"
    22.8 +  echo "Usage: isabelle $PRG [FILES|DIRS...]"
    22.9    echo
   22.10    echo "  Recursively find .thy/.ML files, removing unreadable symbol names."
   22.11    echo "  Note: this is an ad-hoc script; there is no systematic way to replace"
    23.1 --- a/lib/Tools/usedir	Tue Oct 21 20:17:40 2008 +0200
    23.2 +++ b/lib/Tools/usedir	Tue Oct 21 20:18:07 2008 +0200
    23.3 @@ -13,7 +13,7 @@
    23.4  function usage()
    23.5  {
    23.6    echo
    23.7 -  echo "Usage: $PRG [OPTIONS] LOGIC NAME"
    23.8 +  echo "Usage: isabelle $PRG [OPTIONS] LOGIC NAME"
    23.9    echo
   23.10    echo "  Options are:"
   23.11    echo "    -C BOOL      copy existing document directory to -D PATH (default true)"
    24.1 --- a/lib/Tools/yxml	Tue Oct 21 20:17:40 2008 +0200
    24.2 +++ b/lib/Tools/yxml	Tue Oct 21 20:18:07 2008 +0200
    24.3 @@ -11,7 +11,7 @@
    24.4  function usage()
    24.5  {
    24.6    echo
    24.7 -  echo "Usage: $PRG"
    24.8 +  echo "Usage: isabelle $PRG"
    24.9    echo
   24.10    echo "  Convert XML (stdin) to YXML (stdout)."
   24.11    echo