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