# HG changeset patch
# User wenzelm
# Date 1003265970 -7200
# Node ID 1de4a3321976db8c25514972479cc61d083ddd22
# Parent  5ce7346490affe8b9baf152b57145d6419aff1b2
tuned;

diff -r 5ce7346490af -r 1de4a3321976 NEWS
--- 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>;