| 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 ***