src/Pure/Thy/thy_resources.scala
15 months ago ago clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
16 months ago ago suppress redundant messages;
16 months ago ago optional notification of nodes_status (via progress);
16 months ago ago clarified modules;
16 months ago ago added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);
18 months ago ago clarified signature: prefer Document.Snapshot;
18 months ago ago report theory progress via PIDE node status;
18 months ago ago tuned signature;
18 months ago ago more operations;
19 months ago ago return exports as result for Isabelle server;
20 months ago ago clarified signature;
20 months ago ago session tmp_dir is default master_dir;
20 months ago ago tuned output;
20 months ago ago clarified theory node name;
20 months ago ago clarified signature -- eliminated somewhat pointless positions;
20 months ago ago clarified signature -- more like use_theories;
20 months ago ago support for purge_theories;
20 months ago ago provide tmp_dir for server session;
20 months ago ago clarified exported messages, e.g. suppress "information", "tracing";
21 months ago ago fewer messages;
21 months ago ago output result messages;
21 months ago ago more robust check_state loop, even without session activity (e.g. idempotent use_theories);
21 months ago ago synchronized Session.update;
21 months ago ago more interruptible use_theories;
21 months ago ago tuned;
21 months ago ago more interruptible;
21 months ago ago unload_theories: actually observe required state;
21 months ago ago prefer typed UUID;
21 months ago ago unload_theories after consolidation -- reset node_required;
21 months ago ago support for "use_theories";
21 months ago ago interruptible exploration of dependencies;
21 months ago ago clarified signature;
21 months ago ago tuned message;
21 months ago ago support for "session_start";
21 months ago ago allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
2017-11-12 ago synchronous use_theories, based on consolidated_state;
2017-11-12 ago clarified modules;
2017-11-12 ago optional session_base, e.g. from existing Sessions.Deps in build.scala;
2017-11-12 ago synchronous session start (similar to isabelle.vscode.Server);
2017-11-12 ago tuned signature;
2017-11-12 ago simplified: eliminated pointless Thy_Document_Model;
2017-11-12 ago theory nodes are never visible: avoid prints, which are not covered by node_consolidated;
2017-11-12 ago load theories via PIDE document update;
2017-11-12 ago PIDE resources for theory files;