#1853 (Jan 2, 2023, 2:44:00 AM)

1. tuned signature, following Url.append_path; (detail / hgweb)
2. merged (detail / hgweb)
3. more robust, for the sake of very rare duplicate files: src/Doc/Prog_Prove/MyList.thy and $AFP/Case_Labeling/util.ML; (detail / hgweb)
4. store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions;
   enforce rebuild of Isabelle/ML to update build databases; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tunes signature; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. more systematic Sessions.illegal_theory, based on File_Format.theory_excluded; (detail / hgweb)
11. tuned; (detail / hgweb)
12. unused; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified modules; (detail / hgweb)
15. tuned: no need to map master_dir, which does not participate in comparison; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. tuned signature; (detail / hgweb)
18. tuned comments; (detail / hgweb)
19. clarified signature; (detail / hgweb)
20. tuned; (detail / hgweb)
21. removed an unfortunate sledgehammer command (detail / hgweb)
22. A couple of patches (detail / hgweb)
23. Big simplifications of old proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 53 min waiting;
• 1 hr 52 min build duration;
• 3 hr 46 min total from scheduled to completion.