#1408 (Mar 2, 2021, 1:41:20 AM)

1. Merge (detail / hgweb)
2. reverted simprule status on a new lemma (detail / hgweb)
3. merged (detail / hgweb)
4. tiny bit of lemma hacking (detail / hgweb)
5. tuned --- fewer warnings; (detail / hgweb)
6. tuned --- fewer warnings; (detail / hgweb)
7. tuned --- avoid deprecated conversions between certain number type; (detail / hgweb)
8. tuned --- avoid deprecated Predef.any2stringadd; (detail / hgweb)
9. tuned --- silence odd warning; (detail / hgweb)
10. tuned --- fewer warnings; (detail / hgweb)
11. tuned --- fewer warnings; (detail / hgweb)
12. tuned --- fewer warnings; (detail / hgweb)
13. tuned --- fewer warnings; (detail / hgweb)
14. clarified signature, according to Isabelle/Scala; (detail / hgweb)
15. download more directly, via means of JVM; (detail / hgweb)
16. download on separate thread; (detail / hgweb)
17. clarified signature; (detail / hgweb)
18. tuned; (detail / hgweb)
19. proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.); (detail / hgweb)
20. tuned signature; (detail / hgweb)
21. NEWS (detail / hgweb)
22. lemma diffusion (detail / hgweb)
23. more connections between mset _ = mset _ and permutations (detail / hgweb)
24. dissolve theory with duplicated name from afp (detail / hgweb)

Started by an SCM change

This run spent:

• 51 min waiting;
• 1 hr 31 min build duration;
• 2 hr 22 min total from scheduled to completion.