more self-contained support for macOS;

misc tuning and clarification;

tuned signature;

support for base64 via Isabelle/Scala/ML;

compile;

clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);

clarified signature (again);

merged

clarified signature;

unused;

unused;

clarified signature: more structured arguments, notably for remote provers;

clarified signature;

clarified signature: avoid tmp file;

clarified signature for Scala functions;

clarified message output: flush already happens in write_message_yxml (see Isabelle/22b5ecb53dd9);

tuned;

clarified cache;

clarified signature: Bytes extends CharSequence already (see d201996f72a8);

clarified exceptions;

more uniform use of Byte_Message; support protocol_message with multiple chunks;

tuned signature;

tuned signature;

more robust treatment of empty markup: it allows to produce formal chunks;

collected combinatorial material

tuned;

tuned;

more documentation;