| changeset 7801 | 535112d1f316 |
| parent 7498 | 1e5585fd3632 |
| child 7849 | 29a2a1d71128 |
--- a/doc-src/System/misc.tex Fri Oct 08 15:09:14 1999 +0200 +++ b/doc-src/System/misc.tex Fri Oct 08 15:39:52 1999 +0200 @@ -172,7 +172,7 @@ \begin{ttbox} Usage: isatool make [ARGS ...] - Compiles logic in current directory using IsaMakefile. + Compile the logic in current directory using IsaMakefile. ARGS are directly passed to the system make program. \end{ttbox} Note that the Isabelle settings environment is also active. Thus one