#2129 (Feb 18, 2024, 12:50:09 AM)

1. tuned: afford untyped/unscoped update; (detail / hgweb)
2. more robust default: Scala imposes explicit "threads" value on ML, both the Poly/ML RTS and Isabelle/ML; (detail / hgweb)
3. clarified signature: more explicit types/scopes; (detail / hgweb)
4. tuned names; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned documentation; (detail / hgweb)
7. more robust: disallow empty clusters, so "isabelle build -H" really means cluster build; (detail / hgweb)
8. clarified modules: centralize default policy; (detail / hgweb)
9. more explicit types --- fewer warnings in IntelliJ IDEA; (detail / hgweb)
10. tuned: avoid shadowing of names; (detail / hgweb)
11. clarified default "isabelle build -j0 -H"; (detail / hgweb)
12. tuned whitespace; (detail / hgweb)
13. clarifier worker vs. master, which may coincide for local build; (detail / hgweb)
14. clarified signature: more standard defaults; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. tuned; (detail / hgweb)
18. prefer static object, while class is required for "services"; (detail / hgweb)
19. clarified signature: prefer default; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 2 hr 2 min build duration;
• 2 hr 2 min total from scheduled to completion.