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;

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;

adapted to 3869b2400e22;

tuned output;

more options: client without implicit server startup;

console interaction with line-editor;

more flexible message formats;

clarified interrupt handling;

clarified signature;

option for console interaction;

more uniform Bytes.read_line/read_block operations;

auto update;

more comments;

more general TTY loop;

added Reply.NOTE for asynchronous notifications;

more operations;

more thorough init: purge inactive entries;

more generous timeout;

Entry.connection: proview password here; more robust checks;

clarified initial protocol;

ignore empty lines;

tuned;

more robust read_line after shutdown;

more implicit wire protocol;

tuned signature;

clarified server start, notably for invocation within regular Isabelle/Scala process;

tuned signature;

tuned signature;

clarified toString operations;

clarified socket connection;

server commands may access Server; Server.stop: proper shutdown; clarified signature;