#1717 (Jun 22, 2022, 3:44:20 AM)

1. merged (detail / hgweb)
2. NEWS; (detail / hgweb)
3. support XZ compression in Isabelle/ML; (detail / hgweb)
4. prefer scalable byte strings; (detail / hgweb)
5. more scalable byte messages, notably for Scala functions in ML; (detail / hgweb)
6. tuned comments; (detail / hgweb)
7. clarified ML pretty printing; (detail / hgweb)
8. clarified signature: more operations; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. tuned comments; (detail / hgweb)
11. tuned signature: more operations; (detail / hgweb)
12. tuned signature: more operations; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. clarified signature: avoid repeated string copying via Substring.slice; (detail / hgweb)
15. support for scalable byte strings, with incremental construction; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. remove unused file following 51e696887b81; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 54 min waiting;
• 1 hr 37 min build duration;
• 4 hr 31 min total from scheduled to completion.