Summary
- tuned imports;
- always explore all sessions;
- optionally explore all sessions -- potentially slow, e.g. for AFP;
- proper sections;
- clarified session structure: avoid ambiguity of file ~~/src/HOL/Library/Old_Datatype.thy;
The file was modified | src/HOL/Analysis/Inner_Product.thy (diff) |
The file was modified | src/HOL/Library/Old_Datatype.thy (diff) |
The file was modified | src/Tools/VSCode/src/server.scala (diff) |
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/plugin.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/ROOT (diff) |