# HG changeset patch
# User wenzelm
# Date 939389992 -7200
# Node ID 535112d1f316b47029f1ebb96aa7a7bfeda6b303
# Parent  8ee919e42174255c96247699692bd79b9bbfc424
make: tuned usage;

diff -r 8ee919e42174 -r 535112d1f316 doc-src/System/misc.tex
--- 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