* proper spacing of consecutive markup elements, especially text
blocks after section headings;

--- a/NEWS	Sun Oct 21 19:42:53 2001 +0200
+++ b/NEWS	Sun Oct 21 19:44:25 2001 +0200
@@ -16,6 +16,9 @@
 isatool usedir -g true will produce session_graph.eps/.pdf for use
 with \includegraphics of LaTeX;
 
+* proper spacing of consecutive markup elements, especially text
+blocks after section headings;
+
 * support bold style (for single symbols only), input syntax is like
 this: "\<^bold>\<alpha>" or "\<^bold>A";