#1844 (Dec 23, 2022, 12:50:11 AM)

1. only show sessions with document setup; (detail / hgweb)
2. tuned; (detail / hgweb)
3. proper node name instead of not base tex_name (amending 2fd0c33fe440); (detail / hgweb)
4. proper migrate_name between different kinds of Resources, notably for Windows; (detail / hgweb)
5. merged (detail / hgweb)
6. added lemmas irrefl_on_if_asym_on[simp] and irreflp_on_if_asymp_on[simp] (detail / hgweb)

Started by an SCM change

This run spent:

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