Summary
- added action "isabelle.newline" (shortcut ENTER);
- tuned signature;
The file was modified | NEWS (diff) |
The file was modified | src/Tools/jEdit/etc/options (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/fold_handling.scala (diff) |
The file was modified | src/Tools/jEdit/src/token_markup.scala (diff) |