Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added action "isabelle.select-entity";
  2. tuned;
Changeset 63236:48bc9045866e by wenzelm:
added action "isabelle.select-entity";
The file was modified NEWS (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)
The file was modified src/Tools/jEdit/src/rendering.scala (diff)
Changeset 63235:bf98cc9e6e06 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/rendering.scala (diff)