Build #52 (May 16, 2021, 12:14:00 AM)

1. strict_sorted now an abbreviation (detail)
2. explicit type class operations for type-specific implementations (detail)
3. obsolete (detail)
4. added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran (detail)
5. merged (detail)
6. generalized type (detail)
7. basic setup of Isabelle setup tool --- pure Java, no dependencies; (detail)
8. merged (detail)
9. guess package more directly; (detail)
10. merged (detail)
11. Just one lemma (detail)
12. proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64; (detail)
13. clarified platforms; (detail)
14. merged (detail)
15. proper jEdit.props (amending ff716ecb0805); (detail)
16. update to gmp-6.2.1, with support for arm64-darwin; (detail)
17. clarified platforms; (detail)
18. clarified options: implicitly support both x86_64 and arm64; (detail)
19. tuned whitespace; (detail)
20. centralized more lemmas (detail)
21. avoid Fun.swap (detail)
22. guide is out of focus (detail)
23. proper build for fresh target directory (amending d9823224fcfe); (detail)
24. put more resources into jedit_build component; (detail)
25. more brackets (see f6b453449cc6); (detail)
26. more brackets; (detail)
27. proper settings variable, amending 6e85281177df; (detail)
28. merged (detail)
29. tuned proofs --- avoid z3, which is absent on arm64-linux; (detail)
30. proper condition: z3 could be absent, e.g. on arm64-linux; (detail)
31. build auxiliary jEdit component in Isabelle/Scala;
    clarified directory layout; (detail)
32. separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597); (detail)
33. tuned message; (detail)
34. clarified signature; (detail)
35. tuned signature; (detail)
36. more elementary swap (detail)

1. strict_sorted now an abbreviation (detail)
2. merged (detail)
3. deleted needless material (detail)
4. explicit type class operations for type-specific implementations (detail)
5. next step to phase out ancient numerals (detail)
6. more small simplifications (detail)
7. merged (detail)
8. fixed some latex; tried the alternative definition of Ramsey (detail)
9. Trying out Ramsey_eq for simpler proofs (detail)
10. more tiny tweaks (detail)
11. centralized more lemmas (detail)
12. avoid Fun.swap (detail)
13. guide is out of focus (detail)
14. Relational_Minimum_Spanning_Trees: refactoring Boruvka.thy (detail)
15. more elementary swap (detail)

Started by timer

This run spent:

• 50 ms waiting;
• 1 day 6 hr build duration;
• 1 day 6 hr total from scheduled to completion.

Timeout has been exceeded