Summary
- added action "isabelle.select-entity";
- tuned;
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) |
The file was modified | src/Tools/jEdit/src/rendering.scala (diff) |