--- a/NEWS Thu Sep 10 16:04:12 2020 +0200
+++ b/NEWS Thu Sep 10 21:07:58 2020 +0200
@@ -16,9 +16,8 @@
*** Isabelle/jEdit Prover IDE ***
-* The jEdit status line includes a widget for Isabelle/ML heap usage,
-including an indication for ongoing garbage collection (as "ML
-cleanup").
+* The jEdit status line includes widgets both for JVM and ML heap usage.
+Ongoing ML ongoing garbage collection is shown as "ML cleanup".
* The Monitor dockable provides buttons to request a full garbage
collection and sharing of live data on the ML heap. It also includes