* greatly simplified document preparation setup, including more
authorwenzelm
Sat Oct 20 20:14:16 2001 +0200 (2001-10-20)
changeset 11842b903d3dabbe2
parent 11841 ec105d09fc1f
child 11843 3dc60e93064f
* 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";
* theory dependency graph may now be incorporated into documents;
isatool usedir -g true will produce session_graph.eps/.pdf for use
with \includegraphics of LaTeX;
NEWS
     1.1 --- a/NEWS	Fri Oct 19 22:03:25 2001 +0200
     1.2 +++ b/NEWS	Sat Oct 20 20:14:16 2001 +0200
     1.3 @@ -7,6 +7,15 @@
     1.4  
     1.5  *** Document preparation ***
     1.6  
     1.7 +* greatly simplified document preparation setup, including more
     1.8 +graceful interpretation of isatool usedir -i/-d/-D options, and more
     1.9 +instructive isatool mkdir; users should basically be able to get
    1.10 +started with "isatool mkdir Test && isatool make";
    1.11 +
    1.12 +* theory dependency graph may now be incorporated into documents;
    1.13 +isatool usedir -g true will produce session_graph.eps/.pdf for use
    1.14 +with \includegraphics of LaTeX;
    1.15 +
    1.16  * support bold style (for single symbols only), input syntax is like
    1.17  this: "\<^bold>\<alpha>" or "\<^bold>A";
    1.18