Summary
- build faster without heap images for minor imports;
- proper order for entries from multiple profiles, notably "AFP";
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/Pure/Admin/build_status.scala (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/Pure/Admin/build_status.scala (diff) |