Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. init only once (see also c0f776b661fa);
  3. proper merge (amending fb46c031c841);
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)