| changeset 11814 | 1de4a3321976 |
| parent 11802 | 1d5f5d2427d2 |
| child 11817 | 875ee0c20da2 |
--- a/NEWS Tue Oct 16 19:56:31 2001 +0200 +++ b/NEWS Tue Oct 16 22:59:30 2001 +0200 @@ -10,7 +10,7 @@ * support bold style (for single symbols only), input syntax is like this: "\<^bold>\<alpha>" or "\<^bold>A"; -* \<bullet> is no output as bold \cdot by default, which looks much +* \<bullet> is now output as bold \cdot by default, which looks much better in printed text; * added default LaTeX bindings for \<tturnstile> and \<TTurnstile>;