NEWS

--- a/NEWS	Fri Sep 28 15:45:03 2012 +0200
+++ b/NEWS	Fri Sep 28 16:51:58 2012 +0200
@@ -12,6 +12,7 @@
     . more efficient painting, improved reactivity;
     . more robust incremental parsing of outer syntax (partial
       comments, malformed symbols);
+    . smarter handling of tracing messages (via tracing_limit);
     . more plugin options and preferences, based on Isabelle/Scala;
     . uniform Java 7 platform on Linux, Mac OS X, Windows;