#2204 (Jun 11, 2024, 5:19:04 AM)

1. merged (detail / hgweb)
2. tuned signature: more exports; (detail / hgweb)
3. clarified signature: prefer internal Thm_Name.T over external Facts.ref; (detail / hgweb)
4. more robust / permissive; (detail / hgweb)
5. clarified signature: more operations; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified operations, following pretty_thm_name; (detail / hgweb)
8. more accurate treatment of Thm_Name.T; (detail / hgweb)
9. renamed lemmas (detail / hgweb)
10. merged (detail / hgweb)
11. renamed theorems (detail / hgweb)
12. renamed theorems (detail / hgweb)
13. add title; (detail / hgweb)
14. use build_cluster in ci builds; (detail / hgweb)
15. merged (detail / hgweb)
16. tuned alias names in formulas (detail / hgweb)
17. renamed theorems (detail / hgweb)
18. add favicon to web app; (detail / hgweb)

Started by an SCM change

This run spent:

• 4 hr 29 min waiting;
• 2 hr 2 min build duration;
• 6 hr 31 min total from scheduled to completion.