Summary
- merged
- support to dump build database produced by PIDE session;
- more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
- clarified signature: Known.theories retains Document.Node.Entry (with header);
- clarified signature;
- tuned signature;
The file was added | src/Pure/Tools/dump.scala |
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |
The file was modified | src/Pure/build-jars (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/PIDE/command.scala (diff) |
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/PIDE/resources.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | src/Pure/ML/ml_console.scala (diff) |
The file was modified | src/Pure/System/progress.scala (diff) |
The file was modified | src/Pure/Thy/export.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |