NEWS
changeset 12899 7d5b690253ee
parent 12889 1de4f0b824a8
child 12917 0fd3caa5d8b2
--- 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