#1008 (Mar 25, 2024, 9:39:07 PM)

1. added lemma wf_on_iff_wf (detail / hgweb)
2. changed number of consumed assumptions of wf_on_induct and wfp_on_induct (detail / hgweb)
3. tuned (detail / hgweb)
4. merged (detail / hgweb)
5. more accurate platform directories: pkg/tool structure is hardwired in "go"; (detail / hgweb)
6. support for etc/platform.props, to specify multi-platform directory structure more accurately; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. clarified modules; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. build Isabelle component for Go: all platforms; (detail / hgweb)
12. misc tuning; (detail / hgweb)
13. just one copy of darwin-universal.tar.gz; (detail / hgweb)
14. documented running time function framework by Jonas Stahl (detail / hgweb)
15. merged (detail / hgweb)
16. merged (detail / hgweb)
17. more uniform command names (detail / hgweb)
18. tuned parameter order (detail / hgweb)
19. shutdown lrzcloud2; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 5 hr 13 min build duration;
• 5 hr 13 min total from scheduled to completion.