clarified signature;

tuned;

more robust timing info: do not rely on order of markup;

clarified signature;

field "kind" is always present, with default "writeln";

merged

eliminated "elems"

NEWS and CONTRIBUTORS

tuned;

merged

provide tmp_dir for server session;

clarified signature: flexible base_dir;

clarified exported messages, e.g. suppress "information", "tracing"; export "legacy_feature" as "warning", in accordance to console default output;

clarified signature: prefer selective include_sessions;

clarified signature: more uniform session_id;

clarified signature;

clarified signature: do not expose somewhat accidental internal options;

misc tuning and clarification;

more documentation;

clarified result;

tuned;

clarified error result, without JSON object from "session_build"; clarified regular result;

proper order of matches: Server.Error is an instance of Exn.ERROR;

clarified result;

clarified markup according to common Command.Results;

make baliL and baliR symmetric

proof of concept for algebraically founded bit lists

tuned proof

prefer convention to place operation name before type name

more lemmas