#4397 (Mar 29, 2023, 10:06:20 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Started by an SCM change

This run spent:

• 3 min 18 sec waiting;
• 4 hr 11 min build duration;
• 4 hr 15 min total from scheduled to completion.