#1796 (Oct 19, 2022, 12:50:09 AM)

1. merged (detail / hgweb)
2. Slight tidying of legacy proofs (detail / hgweb)
3. merged (detail / hgweb)
4. update naproche component; (detail / hgweb)
5. Added tag Isabelle2022-RC4 for changeset 8b4108f41c77 (detail / hgweb)
6. rebuild with proper Isabelle version; (detail / hgweb)
7. removed junk; (detail / hgweb)
8. more robust, e.g. for "isabelle dump"; (detail / hgweb)
9. more robust, e.g. for "isabelle dump"; (detail / hgweb)
10. more robust, e.g. for "isabelle dump"; (detail / hgweb)
11. allow spaces in SCALA_HOME directory name; (detail / hgweb)
12. avoid spurious error messages, e.g. when scala is missing; (detail / hgweb)
13. more NEWS; (detail / hgweb)
14. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
15. avoid result based on outdated state, e.g. relevant for use_theories with changed files; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. tuned signature, following hints by IntelliJ IDEA; (detail / hgweb)
18. more robust treatment of state and events; (detail / hgweb)
19. tuned signature; (detail / hgweb)
20. proper result state (amending 954640e846d6); (detail / hgweb)
21. tuned; (detail / hgweb)
22. tuned signature; (detail / hgweb)
23. tuned; (detail / hgweb)
24. tuned signature; (detail / hgweb)
25. tuned: clarified old_theory (in contrast to 4d5342898b1); (detail / hgweb)
26. tuned signature; (detail / hgweb)
27. more robust: active consumer for check_state/check_progress; (detail / hgweb)
28. proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0); (detail / hgweb)
29. tuned; (detail / hgweb)
30. tuned; (detail / hgweb)
31. proper Symbol.encode (following fd1efd6dd385), e.g. relevant for 'ML_file' with symbols like \<^here>; (detail / hgweb)
32. merged (detail / hgweb)
33. added lemma fmember_iff_member_fset (detail / hgweb)

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 1 hr 50 min build duration;
• 1 hr 50 min total from scheduled to completion.