--- a/NEWS Sat Feb 16 21:26:19 2002 +0100
+++ b/NEWS Tue Feb 19 23:45:54 2002 +0100
@@ -1,3 +1,4 @@
+
Isabelle NEWS -- history user-relevant changes
==============================================
@@ -9,7 +10,9 @@
* greatly simplified document preparation setup, including more
graceful interpretation of isatool usedir -i/-d/-D options, and more
instructive isatool mkdir; users should basically be able to get
-started with "isatool mkdir Test && isatool make";
+started with "isatool mkdir HOL Test && isatool make"; alternatively,
+users may run a separate document processing stage manually like this:
+"isatool usedir -D output HOL Test && isatool document Test/output";
* theory dependency graph may now be incorporated into documents;
isatool usedir -g true will produce session_graph.eps/.pdf for use