# HG changeset patch
# User wenzelm
# Date 1596834088 -7200
# Node ID 2831933195ef0d329c85b9bd958411a14701408f
# Parent  d115d50a19c0239574783ce6f06f488539f48d6f
NEWS;

diff -r d115d50a19c0 -r 2831933195ef 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