* proper spacing of consecutive markup elements, especially text
authorwenzelm
Sun Oct 21 19:44:25 2001 +0200 (2001-10-21)
changeset 11864371ce685b0ec
parent 11863 87643169ae7d
child 11865 93d5408eb7d9
* proper spacing of consecutive markup elements, especially text
blocks after section headings;
NEWS
     1.1 --- a/NEWS	Sun Oct 21 19:42:53 2001 +0200
     1.2 +++ b/NEWS	Sun Oct 21 19:44:25 2001 +0200
     1.3 @@ -16,6 +16,9 @@
     1.4  isatool usedir -g true will produce session_graph.eps/.pdf for use
     1.5  with \includegraphics of LaTeX;
     1.6  
     1.7 +* proper spacing of consecutive markup elements, especially text
     1.8 +blocks after section headings;
     1.9 +
    1.10  * support bold style (for single symbols only), input syntax is like
    1.11  this: "\<^bold>\<alpha>" or "\<^bold>A";
    1.12