#1443 (Apr 13, 2021, 2:04:22 AM)

1. support for base64 via Isabelle/Scala/ML; (detail / hgweb)
2. compile; (detail / hgweb)
3. clarified signature: avoid overlap of String vs. Bytes (both are CharSequence); (detail / hgweb)
4. clarified signature (again); (detail / hgweb)
5. merged (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. unused; (detail / hgweb)
8. unused; (detail / hgweb)
9. clarified signature: more structured arguments, notably for remote provers; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. clarified signature: avoid tmp file; (detail / hgweb)
12. clarified signature for Scala functions; (detail / hgweb)
13. clarified message output: flush already happens in write_message_yxml (see Isabelle/22b5ecb53dd9); (detail / hgweb)
14. tuned; (detail / hgweb)
15. clarified cache; (detail / hgweb)
16. clarified signature: Bytes extends CharSequence already (see d201996f72a8); (detail / hgweb)
17. clarified exceptions; (detail / hgweb)
18. more uniform use of Byte_Message;
    support protocol_message with multiple chunks; (detail / hgweb)
19. tuned signature; (detail / hgweb)
20. tuned signature; (detail / hgweb)
21. more robust treatment of empty markup: it allows to produce formal chunks; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 14 min waiting;
• 1 hr 34 min build duration;
• 2 hr 48 min total from scheduled to completion.