Skip to content
Success

Changes

Summary

  1. build faster without heap images for minor imports;
  2. proper order for entries from multiple profiles, notably "AFP";
Changeset 66982:67595389aa8a by wenzelm:
build faster without heap images for minor imports;
The file was modified src/HOL/ROOT (diff)
Changeset 66981:e76c6cb0d461 by wenzelm:
proper order for entries from multiple profiles, notably "AFP";
The file was modified src/Pure/Admin/build_status.scala (diff)