#1927 (Mar 30, 2023, 2:18:30 AM)

1. more portable options; (detail / hgweb)
2. build rsync from sources, to avoid divergence of protocols on various platforms; (detail / hgweb)
3. more informative errors; (detail / hgweb)
4. clarified options; (detail / hgweb)
5. tuned messages; (detail / hgweb)
6. provide Isabelle tool wrapper; (detail / hgweb)
7. more robust errors: proceed updating database;
   clarified options;
   clarified progress; (detail / hgweb)
8. tuned; (detail / hgweb)
9. tuned output; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. clarified modules; (detail / hgweb)
12. tuned comments (amending 1951f6470792); (detail / hgweb)
13. tuned; (detail / hgweb)
14. discontinue somewhat pointless is_single, which also depends on details of internal data representation; (detail / hgweb)
15. more compact data: approx. 0.85 .. 1.10 of plain list size;
    fewer comparisons for Leaf2 / Leaf3: observe order; (detail / hgweb)
16. slightly more compact data; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 28 min waiting;
• 1 hr 59 min build duration;
• 3 hr 27 min total from scheduled to completion.