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