Summary
- merged
- maintain loaded_files for each theory;
- clarified: more uniform results;
- slightly more parallelism;
- prefer sequential file-system access, but parallel parse;
- tuned;
- clarified pure_files, based on uniform loaded_files;
- tuned;
- tuned signature -- more readable output as Scala value;
- more operations;
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/Thy/thy_info.scala (diff) |
The file was modified | src/Pure/PIDE/resources.scala (diff) |
The file was modified | src/Pure/PIDE/resources.scala (diff) |
The file was modified | src/Pure/PIDE/resources.scala (diff) |
The file was modified | src/Pure/Thy/thy_info.scala (diff) |
The file was modified | src/Pure/PIDE/resources.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/PIDE/resources.scala (diff) |
The file was modified | src/Pure/Thy/thy_info.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/General/file.scala (diff) |