# HG changeset patch
# User wenzelm
# Date 1442689778 -7200
# Node ID 459ba59535177f736ea3960510c277c70207795a
# Parent  b9d69001824e1cfb35165da50f41b7fcb54a549d
NEWS;

diff -r b9d69001824e -r 459ba5953517 NEWS
--- a/NEWS	Sat Sep 19 21:07:37 2015 +0200
+++ b/NEWS	Sat Sep 19 21:09:38 2015 +0200
@@ -24,6 +24,10 @@
 * The main Isabelle executable is managed as single-instance Desktop
 application uniformly on all platforms: Linux, Windows, Mac OS X.
 
+* The text overview column (status of errors, warnings etc.) is updated
+asynchronously, leading to much better editor reactivity. Moreover, the
+full document node content is taken into account.
+
 
 *** Isar ***