#1829 (Dec 7, 2022, 12:50:10 AM)

1. clarified signature: less redundancy; (detail / hgweb)
2. tuned; (detail / hgweb)
3. potentially more robust delay_load action: avoid loosing events due to guards; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. more uniform tooltip for plugin options dialog; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. more uniform session selectors, with persistent options; (detail / hgweb)
11. tuned; (detail / hgweb)
12. NEWS (detail / hgweb)
13. merged (detail / hgweb)
14. added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp (detail / hgweb)
15. added lemma totalp_on_converse[simp] (detail / hgweb)
16. added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp] (detail / hgweb)
17. added type annotations and tuned formatting (detail / hgweb)
18. strengthened and renamed irreflp_greater[simp] and irreflp_less[simp] (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 1 hr 54 min build duration;
• 1 hr 54 min total from scheduled to completion.