#1598 (Nov 13, 2021, 2:14:17 AM)

1. back to post-release mode; (detail / hgweb)
2. updated for release; (detail / hgweb)
3. Added tag Isabelle2021-1-RC3 for changeset 2b212c8138a5 (detail / hgweb)
4. merged (detail / hgweb)
5. updated to polyml-5.9-cc80e2b43c38, which also contains ARM64 on darwin (unused by default); (detail / hgweb)
6. clarified HTML_Context: more explicit directory structure; (detail / hgweb)
7. tuned comments; (detail / hgweb)
8. tuned; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. clarified properties: avoid empty entry; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. merged (detail / hgweb)
13. tuned (thanks to J. Villadsen) (detail / hgweb)
14. added padding to Mirabelle's output (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 24 min waiting;
• 1 hr 39 min build duration;
• 3 hr 3 min total from scheduled to completion.