#1828 (Dec 6, 2022, 12:50:05 AM)

1. merged (detail / hgweb)
2. tuned GUI behaviour; (detail / hgweb)
3. more GUI elements; (detail / hgweb)
4. clarified modules; (detail / hgweb)
5. clarified process: implicit load() when finished; (detail / hgweb)
6. more robust, notably initial update(); (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned messages: implement "verbose = false", but there is no theory output anyway; (detail / hgweb)
9. merged (detail / hgweb)
10. added lemmas irrefl_on_subset and irreflp_on_subset (detail / hgweb)
11. introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations (detail / hgweb)
12. tuned messages; (detail / hgweb)
13. tuned message; (detail / hgweb)
14. tuned messages and options; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 1 hr 51 min build duration;
• 1 hr 51 min total from scheduled to completion.