HomeIsabelle/Phabricator
Support Java/VM monitoring via jconsole

Isabelle/jEdit Prover IDE

  • Action isabelle.jconsole (menu item Plugins / Isabelle / Java/VM Monitor) applies the jconsole tool on the running Isabelle/jEdit process. This allows to monitor resource usage etc.

This refers to Isabelle/62755ec99671.

Written by makarius on Mar 6 2020, 8:45 PM.
User
Projects
None
Subscribers
None

Event Timeline