system option "system_heaps" supersedes various command-line options for "system build mode";
clarified "isabelle jedit" options -n, -s, -u;

clarified signature;

clarified defaults via system options;

clarified modules and signature;

tuned signature;

clarified modules;

--HG--
rename : src/Pure/Thy/thy_resources.scala => src/Pure/PIDE/headless.scala

clarified defaults;
more uniform treatment of "disabled" case;

tuned signature;

support for watchdog_timeout;

optional notification of nodes_status (via progress);
more accurate changed.nodes wrt. dep_theories;
tuned signature;

tuned signature;

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

clarified signature: prefer Document.Snapshot;

clarified implicit compression;

guard result exports via export_pattern -- avoid bombing client via huge blobs;

return exports as result for Isabelle server;

clarified messages (amending 3e072441c96a);

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

added command "purge_theories";
proper documentation: command "use_theories" is asynchronous;

clarified signature -- eliminated somewhat pointless positions;

removed somewhat pointless argument;

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

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;

clarified signature: prefer selective include_sessions;

clarified signature: more uniform session_id;

clarified signature;

clarified signature: do not expose somewhat accidental internal options;

clarified result;

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

clarified result;

more explicit error messages;
clarified signature;

more explicit errors;
tuned;

output result messages;

tuned signature;

prefer typed UUID;

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

support for "use_theories";

clarified signature;

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

support for "session_start";

clarified default;

tuned;

asynchronous "session_build";

more informative JSON results;

more options;

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

tuned signature;

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