Improved monitoring for Isabelle/ML and Java
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 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.
Written by makarius on Aug 13 2020, 4:22 PM.