NEWS
changeset 61198 459ba5953517
parent 61178 0b071f72f330
child 61215 652611b34c2c
--- 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 ***