added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);

clarified signature: prefer Document.Snapshot;

report theory progress via PIDE node status;

tuned signature;

more operations;
more output;

return exports as result for Isabelle server;

clarified signature;

session tmp_dir is default master_dir;

tuned output;

clarified theory node name;
purge_theories: return purged, retained;
tuned documentation;

clarified signature -- eliminated somewhat pointless positions;

clarified signature -- more like use_theories;

support for purge_theories;

provide tmp_dir for server session;

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

fewer messages;

output result messages;

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

synchronized Session.update;

more interruptible use_theories;
tuned comments;

tuned;

more interruptible;
tuned signature;

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

prefer typed UUID;

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

support for "use_theories";

interruptible exploration of dependencies;

clarified signature;

tuned message;

support for "session_start";

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

synchronous use_theories, based on consolidated_state;

clarified modules;

optional session_base, e.g. from existing Sessions.Deps in build.scala;

synchronous session start (similar to isabelle.vscode.Server);

tuned signature;

simplified: eliminated pointless Thy_Document_Model;

theory nodes are never visible: avoid prints, which are not covered by node_consolidated;

load theories via PIDE document update;
theory nodes are always required;

PIDE resources for theory files;