Summary
- merged
- tuned;
- clarified theory status;
- dump ZF in parallel to HOL Main;
- tuned messages;
- more ambitious options (again);
- more ambitious options (again, after 93aa546ffbac);
- tuned signature;
- proper clean_theories wrt. dynamic dep_graph;
- tuned signature;
- potentially more robust: read under lock if not yet set;
- tuned;
The file was modified | src/Pure/PIDE/headless.scala (diff) |
The file was modified | src/Pure/PIDE/headless.scala (diff) |
The file was modified | src/ZF/ROOT (diff) |
The file was modified | src/Pure/PIDE/headless.scala (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/General/graph.scala (diff) |
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/PIDE/headless.scala (diff) |
The file was modified | src/Pure/PIDE/headless.scala (diff) |
The file was modified | src/Pure/PIDE/headless.scala (diff) |
The file was modified | src/Pure/Concurrent/single_assignment.ML (diff) |
The file was modified | src/Pure/PIDE/document.ML (diff) |