#1682 (May 12, 2021, 1:33:09 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. merged (detail)
2. fixed some latex; tried the alternative definition of Ramsey (detail)
3. Trying out Ramsey_eq for simpler proofs (detail)
4. more tiny tweaks (detail)
5. centralized more lemmas (detail)
6. avoid Fun.swap (detail)
7. guide is out of focus (detail)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.