more operations for typed JSON values;

clarified signature;

clarified signature;

tuned signature; tuned output;

explicit Server.Context with output channels (concurrent write); support for Logger and Progress;

allow "." in message name;

re-use existing in/out streams;

tuned signature -- more generic;

tuned imports;

tuned;

tuned signature;

clarified signature -- do not expose socket;

Removed stray 'sledgehammer' invocation

Changes to NEWS regarding 2a6ef5ba4822

Changes to complete distributive lattices due to Viorel Preoteasa

eliminiated superfluous class semiring_bits

tuned;

tuned;

update XML cache for slightly modified messages;

more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);

more options;

clarified default server name;

more uniform output: this may be parsed by another program;

clarified argument formats: explicit Unit, allow XML.Elem as well; tuned messages: prefer single quotes for JSON output;

tuned comments;

convenience to represent XML.Body as single XML.Elem;

clarified AFP partitioning;

abstract algebraic bit operations

more balanced AFP partitioning;

workaround for occasional deadlock seen in HOL-Proofs with threads=2;