#1461 (May 12, 2021, 12:50:08 AM)

1. basic setup of Isabelle setup tool --- pure Java, no dependencies; (detail / hgweb)
2. merged (detail / hgweb)
3. guess package more directly; (detail / hgweb)
4. merged (detail / hgweb)
5. Just one lemma (detail / hgweb)
6. proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64; (detail / hgweb)
7. clarified platforms; (detail / hgweb)
8. merged (detail / hgweb)
9. proper jEdit.props (amending ff716ecb0805); (detail / hgweb)
10. update to gmp-6.2.1, with support for arm64-darwin; (detail / hgweb)
11. clarified platforms; (detail / hgweb)
12. clarified options: implicitly support both x86_64 and arm64; (detail / hgweb)
13. tuned whitespace; (detail / hgweb)
14. centralized more lemmas (detail / hgweb)
15. avoid Fun.swap (detail / hgweb)
16. guide is out of focus (detail / hgweb)

Started by an SCM change

This run spent:

• 7.4 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.