NEWS
changeset 57869 9665f79a7181
parent 57856 73c683e09401
child 57882 38bf4de248a6
     1.1 --- a/NEWS	Tue Aug 05 23:52:56 2014 +0200
     1.2 +++ b/NEWS	Fri Aug 08 11:43:08 2014 +0200
     1.3 @@ -114,6 +114,8 @@
     1.4  * Empty editors buffers that are no longer required (e.g.\ via theory
     1.5  imports) are automatically removed from the document model.
     1.6  
     1.7 +* Improved monitor panel.
     1.8 +
     1.9  * Improved Console/Scala plugin: more uniform scala.Console output,
    1.10  more robust treatment of threads and interrupts.
    1.11