Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added action "isabelle.newline" (shortcut ENTER);
  2. tuned signature;
Changeset 63455:019856db2bb6 by wenzelm:
added action "isabelle.newline" (shortcut ENTER);
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)
Changeset 63454:08a1f61a49a6 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/fold_handling.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)