Summary
- tuned;
- init only once (see also c0f776b661fa);
- proper merge (amending fb46c031c841);
The file was modified | src/Pure/General/completion.scala (diff) |
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) |
The file was modified | src/Pure/Isar/outer_syntax.scala (diff) |