[isabelle-dev] NEWS: Improved monitoring for Isabelle/ML and Java

Makarius makarius at sketis.net
Thu Aug 13 19:15:25 CEST 2020

*** 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

* The Monitor dockable provides buttons to request a full garbage
collection and sharing of live data on the ML heap. It also includes
information about the Java Runtime system.

This refers to Isabelle/510ebf846696, which also contains some snippets of

The monitoring is based on recent changes in Poly/ML by David Mattews. We can
now see better how the every growing applications make use of memory
resources, and potentially avoid exhausting them too early.


More information about the isabelle-dev mailing list