# HG changeset patch
# User wenzelm
# Date 1003601656 -7200
# Node ID b903d3dabbe2b90a7ca23b67172c3d7aea91d46b
# Parent  ec105d09fc1f615cf27ecf6be691de01ad28b22f
* 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;

diff -r ec105d09fc1f -r b903d3dabbe2 NEWS
--- a/NEWS	Fri Oct 19 22:03:25 2001 +0200
+++ b/NEWS	Sat Oct 20 20:14:16 2001 +0200
@@ -7,6 +7,15 @@
 
 *** Document preparation ***
 
+* 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;
+
 * support bold style (for single symbols only), input syntax is like
 this: "\<^bold>\<alpha>" or "\<^bold>A";