"isatool usedir -D output HOL Test && isatool document Test/output";
authorwenzelm
Tue Feb 19 23:45:54 2002 +0100 (2002-02-19)
changeset 128997d5b690253ee
parent 12898 c78872ea3320
child 12900 2be514a36aec
"isatool usedir -D output HOL Test && isatool document Test/output";
NEWS
     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