support Java/VM monitoring via jconsole;
62755ec99671
Actions

Description

support Java/VM monitoring via jconsole;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

Pure/

System/

Tools/

jEdit/

src/

rISABELLE62755ec99671

NEWS

src/Pure/System/isabelle_system.scala

src/Tools/jEdit/src/Isabelle.props

src/Tools/jEdit/src/actions.xml

src/Tools/jEdit/src/isabelle.scala

src/Tools/jEdit/src/jEdit.props

support Java/VM monitoring via jconsole;62755ec99671Actions

Description

Details

Changes (6)

rISABELLE62755ec99671

NEWS

src/Pure/System/isabelle_system.scala

src/Tools/jEdit/src/Isabelle.props

src/Tools/jEdit/src/actions.xml

src/Tools/jEdit/src/isabelle.scala

src/Tools/jEdit/src/jEdit.props

support Java/VM monitoring via jconsole;
62755ec99671
Actions