Summary
- merged
- clarified output;
- more tooltips;
- clarified imports;
- update strictly local imports only;
- proper imports_base;
- tuned;
- avoid redundant Preview documents;
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | src/Tools/jEdit/src/theories_dockable.scala (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | src/Tools/VSCode/extension/src/preview.ts (diff) |