doc-src/System/misc.tex
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