Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. formally depend on Java 11 --- discontinue Java 8 workaround;
  3. support Java/VM monitoring via jconsole;
Changeset 71522:95a4db22b70f by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 71521:e977609c30eb by wenzelm:
formally depend on Java 11 --- discontinue Java 8 workaround;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Tools/jEdit/src-base/Isabelle_Base.props (diff)
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 71520:62755ec99671 by wenzelm:
support Java/VM monitoring via jconsole;
The file was modified NEWS (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
The file was modified src/Tools/jEdit/src/actions.xml (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)