NEWS
changeset 11842 b903d3dabbe2
parent 11817 875ee0c20da2
child 11864 371ce685b0ec
     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