clarified signature -- eliminated somewhat pointless positions;

clarified signature -- more like use_theories;

clarified;

removed somewhat pointless argument;

support for purge_theories;

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

generalized

documentation for the Isabelle server;

clarified message name: disallow single quote;

clarified server shutdown: stop all sessions;

more explicit error messages; clarified signature;

more explicit errors; tuned;

additional Eisbach combinators and utility methods (by Daniel Matichuck)

fewer messages;

output result messages;

clarified signature;

more position information;

more robust check_state loop, even without session activity (e.g. idempotent use_theories);

synchronized Session.update;

more interruptible use_theories; tuned comments;

clarified exception handling: include interrupts;

support for repeated events;

tuned;

more interruptible; tuned signature;

unload_theories: actually observe required state; misc tuning and clarification;

tuned signature;

prefer typed UUID;

unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);

support for "use_theories";

JSON representation for Position.T;

interruptible exploration of dependencies;

tuned signature;

clarified signature;

clarified signature;

tuned message;

proper options;

tuned options;

more comments;

tuned message -- more readable JSON;

more accurate isabelle_id: parent directory is not necessarily at tip;

store session: per Server/Context, not Connection; support for "session_stop";

clarified server log; tuned options;

support for "session_start";

updated user name;

clarified message;

clarified message;

more uniform id;

prefer non-strict defaults;

clarified default;

tuned;

asynchronous "session_build";

support for asynchronous tasks, with "cancel" command;

tuned signature;

more informative JSON results;

more informative error with JSON result; tuned signature;

tuned signature;

misc tuning and clarification;

publish current log file, e.g. for easy error detection;

more options;

allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");

tuned;

tuned signature;

merged

added server command "session_build": similar to JEdit_Resources.session_build;

tuned signature;

tuned;

more flexible preferences: avoid hardwired file; tuned signature;

tuned;

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;