NEWS

--- a/NEWS	Fri Aug 07 22:57:14 2020 +0200
+++ b/NEWS	Fri Aug 07 23:01:28 2020 +0200
@@ -130,6 +130,9 @@
 
 *** System ***
 
+* ML statistics via an external Poly/ML process: this allows monitoring
+the runtime system while the ML program sleeps.
+
 * Batch-builds via "isabelle build" use a PIDE session with special
 protocol: this allows to invoke Isabelle/Scala operations from
 Isabelle/ML. Big build jobs (e.g. AFP) require extra heap space for the