HomeIsabelle/Phabricator
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.
User
Projects
None
Subscribers
None

Event Timeline