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