# HG changeset patch
# User wenzelm
# Date 1003686265 -7200
# Node ID 371ce685b0ecedef3ef849540563c01bd755a91b
# Parent  87643169ae7d27b0dc89508371d8c776532bcca2
* proper spacing of consecutive markup elements, especially text
blocks after section headings;

diff -r 87643169ae7d -r 371ce685b0ec NEWS
--- 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";