#1855 (Jan 4, 2023, 2:34:07 AM)

1. merged (detail / hgweb)
2. discontinued fragile operation; (detail / hgweb)
3. more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path; (detail / hgweb)
4. tuned whitespace; (detail / hgweb)
5. tuned; (detail / hgweb)
6. avoid somewhat fragile Document.Node.Name.master_dir_path; (detail / hgweb)
7. clarified signature: avoid somewhat fragile Document.Node.Name.master_dir_path; (detail / hgweb)
8. tuned; (detail / hgweb)
9. clarified modules; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified master_dir: avoid somewhat fragile Document.Node.Name.master_dir_path; (detail / hgweb)
13. tuned signature: avoid too many aliases (see also 72daee8a39ca); (detail / hgweb)
14. clarified modules; (detail / hgweb)
15. merged (detail / hgweb)
16. strengthened and renamed lemmas asym_on_iff_irrefl_on_if_trans and asymp_on_iff_irreflp_on_if_transp (detail / hgweb)
17. Fixed a couple of simple_path occurrences (detail / hgweb)
18. merged (detail / hgweb)
19. Tidying up of paths, introducing "loop_free" as a separate predicate in the definition of "simple_path" (detail / hgweb)

Started by an SCM change

This run spent:

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