#1677 (Mar 24, 2022, 12:50:06 AM)

1. merged (detail / hgweb)
2. tuned message; (detail / hgweb)
3. more operations; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. more robust install/uninstall;
   clarified extension_name (again): --locate-extension wants to see a lowercase name; (detail / hgweb)
6. more formal extension_manifest, with shasum for sources; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. proper usage; (detail / hgweb)
11. tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. clarified modules; (detail / hgweb)
14. tuned signature; (detail / hgweb)
15. ... and removing Primrec from ROOT too (detail / hgweb)
16. Removal of the Primrec example in preparation for making it an AFP entry (detail / hgweb)
17. merged (detail / hgweb)
18. avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper` (detail / hgweb)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 36 min total from scheduled to completion.