| changeset 11864 | 371ce685b0ec |
| parent 11842 | b903d3dabbe2 |
| child 11899 | e543b0f01a58 |
--- 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";