1.1 --- a/doc-src/System/misc.tex	Tue Dec 11 15:36:28 2001 +0100
     1.2 +++ b/doc-src/System/misc.tex	Fri Mar 08 15:33:32 2002 +0100
     1.3 @@ -32,7 +32,7 @@
     1.4  
     1.5  The \tooldx{doc} utility displays online documentation:
     1.6  \begin{ttbox}
     1.7 -Usage: isatool doc [DOC]
     1.8 +Usage: doc [DOC]
     1.9  
    1.10    View Isabelle documentation DOC, or show list of available documents.
    1.11  \end{ttbox}
    1.12 @@ -63,7 +63,7 @@
    1.13  In the files or directories supplied as arguments, all occurrences of the
    1.14  shorthand commands \texttt{br}, \texttt{be} etc.\ in proof scripts are
    1.15  replaced with the corresponding full commands.  The old versions of the files
    1.16 -are renamed to have the suffix``~\verb'~~'''.
    1.17 +are renamed to have the suffix ``\verb'~~'''.
    1.18  
    1.19  
    1.20  \section{Getting logic images --- \texttt{isatool findlogics}}
    1.21 @@ -71,7 +71,7 @@
    1.22  The \tooldx{findlogics} utility traverses all directories specified in
    1.23  \texttt{ISABELLE_PATH}, looking for Isabelle logic images. Its usage is:
    1.24  \begin{ttbox}
    1.25 -Usage: isatool findlogics
    1.26 +Usage: findlogics
    1.27  
    1.28    Collect heap file names from ISABELLE_PATH.
    1.29  \end{ttbox}
    1.30 @@ -89,7 +89,7 @@
    1.31  user-specific settings files --- can be inspected with the \tooldx{getenv}
    1.32  utility:
    1.33  \begin{ttbox}
    1.34 -Usage: isatool getenv [OPTIONS] [VARNAMES ...]
    1.35 +Usage: getenv [OPTIONS] [VARNAMES ...]
    1.36  
    1.37    Options are:
    1.38      -a           display complete environment
    1.39 @@ -182,8 +182,8 @@
    1.40      -q           quiet mode
    1.41  \end{ttbox}
    1.42  You are encouraged to use this to create a derived logo for your Isabelle
    1.43 -project.  For example, \texttt{isatool logo HOOL} creates
    1.44 -\texttt{isabelle_hool.eps}.
    1.45 +project.  For example, \texttt{isatool logo Bali} creates
    1.46 +\texttt{isabelle_bali.eps}.
    1.47  
    1.48  
    1.49  \section{Isabelle's version of make --- \texttt{isatool make}}
    1.50 @@ -192,7 +192,7 @@
    1.51  The Isabelle \tooldx{make} utility is a very simple wrapper for
    1.52  ordinary Unix \texttt{make}:
    1.53  \begin{ttbox}
    1.54 -Usage: isatool make [ARGS ...]
    1.55 +Usage: make [ARGS ...]
    1.56  
    1.57    Compile the logic in current directory using IsaMakefile.
    1.58    ARGS are directly passed to the system make program.
    1.59 @@ -215,7 +215,7 @@
    1.60  \subsection*{Examples}
    1.61  
    1.62  Refer to the \texttt{IsaMakefile}s of the Isabelle distribution's
    1.63 -object-logics as a model for your own developements.  For example, see
    1.64 +object-logics as a model for your own developments.  For example, see
    1.65  \texttt{src/FOL/IsaMakefile}.
    1.66  
    1.67