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.
- Projects
- None
- Subscribers
- None