Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more timing;
  2. tuned;
  3. init only once (see also c0f776b661fa);
  4. proper merge (amending fb46c031c841);
  5. build faster without heap images for minor imports;
  6. proper order for entries from multiple profiles, notably "AFP";
  7. tuned output;
  8. tuned;
  9. logic_selector refers to raw logic name;
  10. clarified terminology;
  11. tuned signature;
  12. do not store bulky Session.Deps;
  13. avoid duplicate invocation of expensive Sessions.deps on full_sessions; tuned;
  14. added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
  15. no heap sharing for empty session (e.g. HOL-ODE);
  16. tuned diagram;
  17. clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
Changeset 66986:5188b1c59434 by wenzelm:
more timing;
The file was modified src/HOL/ROOT (diff)
Changeset 66985:7382ff5b46b9 by wenzelm:
tuned;
The file was modified src/Pure/General/completion.scala (diff)
Changeset 66984:a1d3e5df0c95 by wenzelm:
init only once (see also c0f776b661fa);
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 66983:df83b66f1d94 by wenzelm:
proper merge (amending fb46c031c841);
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
Changeset 66982:67595389aa8a by wenzelm:
build faster without heap images for minor imports;
The file was modified src/HOL/ROOT (diff)
Changeset 66981:e76c6cb0d461 by wenzelm:
proper order for entries from multiple profiles, notably "AFP";
The file was modified src/Pure/Admin/build_status.scala (diff)
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)
Changeset 66972:f65fc869e835 by wenzelm:
no heap sharing for empty session (e.g. HOL-ODE);
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66971:43b2aac6053c by wenzelm:
tuned diagram;
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 66970:13857f49d215 by wenzelm:
clarified ROOT syntax: &#039;sessions&#039; and &#039;theories&#039; are optional, but need to be non-empty;
The file was modified src/Doc/ROOT (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)