Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified command line;
  2. proper navigation wrt. caret; tuned signature;
  3. clarified modifier: avoid confusion of CS+a as C+a;
  4. tuned -- avoid deprecated operations;
  5. more Isabelle/jEdit actions;
  6. updated for release;
Changeset 71503:df7494f14388 by wenzelm:
clarified command line;
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 71502:f61e55bab00c by wenzelm:
proper navigation wrt. caret;<br>tuned signature;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
Changeset 71501:248402f42cac by wenzelm:
clarified modifier: avoid confusion of CS+a as C+a;
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)
Changeset 71500:a3ed1b0a132f by wenzelm:
tuned -- avoid deprecated operations;
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)
Changeset 71499:29f37eb9bd0f by wenzelm:
more Isabelle/jEdit actions;
The file was modified NEWS (diff)
The file was modified src/Pure/PIDE/rendering.scala (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/jedit_lib.scala (diff)
Changeset 71498:f28e31adb5ed by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)