| changeset 11616 | ee1247ba4941 |
| parent 11124 | 5b97a468b46d |
| child 12464 | f9d3c92eae4d |
--- a/doc-src/System/misc.tex Fri Sep 28 11:08:53 2001 +0200 +++ b/doc-src/System/misc.tex Fri Sep 28 14:04:14 2001 +0200 @@ -187,6 +187,7 @@ \section{Isabelle's version of make --- \texttt{isatool make}} +\label{sec:tool-make} The Isabelle \tooldx{make} utility is a very simple wrapper for ordinary Unix \texttt{make}: