Summary
- merged
- documentation for "isabelle dump";
- more dump aspects, with options; tuned signature;
- tuned signature;
- clarified default: all aspects;
- clarified priority;
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/Pure/Tools/dump.scala (diff) |
The file was modified | src/Pure/Tools/dump.scala (diff) |
The file was modified | src/Pure/Thy/export_theory.scala (diff) |
The file was modified | src/Pure/Tools/dump.scala (diff) |
The file was modified | src/Pure/PIDE/command.ML (diff) |
The file was modified | src/Pure/PIDE/document.ML (diff) |