NEWS

--- a/NEWS	Tue Aug 05 23:52:56 2014 +0200
+++ b/NEWS	Fri Aug 08 11:43:08 2014 +0200
@@ -114,6 +114,8 @@
 * Empty editors buffers that are no longer required (e.g.\ via theory
 imports) are automatically removed from the document model.
 
+* Improved monitor panel.
+
 * Improved Console/Scala plugin: more uniform scala.Console output,
 more robust treatment of threads and interrupts.