Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid hard-wired stuff: configure via plugin services;
  2. tuned;
  3. tuned;
Changeset 71742:de37910974da by wenzelm:
avoid hard-wired stuff: configure via plugin services;
The file was modified src/Tools/jEdit/src/active.scala (diff)
The file was modified src/Tools/jEdit/src/graphview_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/services.xml (diff)
Changeset 71741:1dd97156db80 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 71740:83574f13d0f0 by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_tool.scala (diff)