Summary
- entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;
- more informative Imports.Report with actual session imports (minimized);
- more robust: allow URLs;
- more robust: allow Windows file names;
- clarified signature;
The file was modified | src/Pure/Admin/afp.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | src/Pure/PIDE/resources.scala (diff) |
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/ML/ml_process.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |