#1518 (Jul 31, 2021, 12:50:06 AM)

1. clarified signature; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. merged (detail / hgweb)
5. prefer Isabelle.Bytes, based on ShortByteString; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. tuned signature: more generic operations; (detail / hgweb)
9. prefer UTF8 implementation from Data.Text.Encoding (foreign C);
   clarified signatures and modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 29 min total from scheduled to completion.