NEWS

--- a/NEWS	Wed Mar 04 21:09:02 2020 +0100
+++ b/NEWS	Fri Mar 06 20:18:21 2020 +0100
@@ -76,6 +76,10 @@
 
 * Support more brackets: \<llangle> \<rrangle> (intended for implicit argument syntax).
 
+* Action isabelle.jconsole (menu item Plugins / Isabelle / Java/VM
+Monitor) applies the jconsole tool on the running Isabelle/jEdit
+process. This allows to monitor resource usage etc.
+
 
 *** Isabelle/VSCode Prover IDE ***