author | wenzelm |
Sat, 19 Sep 2015 21:09:38 +0200 | |
changeset 61198 | 459ba5953517 |
parent 61197 | b9d69001824e |
child 61199 | 413075a38b9e |
--- 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 ***