Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. tuned;
  3. logic_selector refers to raw logic name;
  4. clarified terminology;
  5. tuned signature;
  6. do not store bulky Session.Deps;
  7. avoid duplicate invocation of expensive Sessions.deps on full_sessions; tuned;
  8. added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
Changeset 66980:8947cf58cb86 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66979:58b166fd8447 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 66978:0525320d8774 by wenzelm:
logic_selector refers to raw logic name;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 66977:fa79f18eadc7 by wenzelm:
clarified terminology;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
Changeset 66976:806bc39550a5 by wenzelm:
tuned signature;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 66975:ca73d44d51aa by wenzelm:
do not store bulky Session.Deps;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 66974:b14c24b31f45 by wenzelm:
avoid duplicate invocation of expensive Sessions.deps on full_sessions;<br>tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 66973:829c3133c4ca by wenzelm:
added isabelle jedit options -B, -P, clarified -R;<br>misc tuning and clarification;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)