src/Pure/Thy/thy_resources.scala
10 months ago wenzelm 2018-09-03 more detailed progress;
10 months ago wenzelm 2018-09-03 more robust: load_theories after consumer is installed;
10 months ago wenzelm 2018-09-02 clarified signature;
10 months ago wenzelm 2018-09-02 clarified quasi_consolidated state: ensure that exports are present for ok nodes;
10 months ago wenzelm 2018-09-02 clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
11 months ago wenzelm 2018-08-19 suppress redundant messages;
11 months ago wenzelm 2018-08-18 optional notification of nodes_status (via progress); more accurate changed.nodes wrt. dep_theories; tuned signature;
11 months ago wenzelm 2018-08-18 clarified modules;
11 months ago wenzelm 2018-07-27 added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);
13 months ago wenzelm 2018-06-03 clarified signature: prefer Document.Snapshot;
13 months ago wenzelm 2018-05-30 report theory progress via PIDE node status;
13 months ago wenzelm 2018-05-29 tuned signature;
13 months ago wenzelm 2018-05-29 more operations; more output;
14 months ago wenzelm 2018-05-07 return exports as result for Isabelle server;
15 months ago wenzelm 2018-03-24 clarified signature;
15 months ago wenzelm 2018-03-24 session tmp_dir is default master_dir;
15 months ago wenzelm 2018-03-24 tuned output;
15 months ago wenzelm 2018-03-24 clarified theory node name; purge_theories: return purged, retained; tuned documentation;
15 months ago wenzelm 2018-03-23 clarified signature -- eliminated somewhat pointless positions;
15 months ago wenzelm 2018-03-23 clarified signature -- more like use_theories;
15 months ago wenzelm 2018-03-23 support for purge_theories;
16 months ago wenzelm 2018-03-22 provide tmp_dir for server session;
16 months ago wenzelm 2018-03-22 clarified exported messages, e.g. suppress "information", "tracing"; export "legacy_feature" as "warning", in accordance to console default output;
16 months ago wenzelm 2018-03-17 fewer messages;
16 months ago wenzelm 2018-03-17 output result messages;
16 months ago wenzelm 2018-03-17 more robust check_state loop, even without session activity (e.g. idempotent use_theories);
16 months ago wenzelm 2018-03-17 synchronized Session.update;
16 months ago wenzelm 2018-03-17 more interruptible use_theories; tuned comments;
16 months ago wenzelm 2018-03-17 tuned;
16 months ago wenzelm 2018-03-17 more interruptible; tuned signature;
16 months ago wenzelm 2018-03-17 unload_theories: actually observe required state; misc tuning and clarification;
16 months ago wenzelm 2018-03-16 prefer typed UUID;
16 months ago wenzelm 2018-03-16 unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);
16 months ago wenzelm 2018-03-16 support for "use_theories";
16 months ago wenzelm 2018-03-16 interruptible exploration of dependencies;
16 months ago wenzelm 2018-03-16 clarified signature;
16 months ago wenzelm 2018-03-16 tuned message;
16 months ago wenzelm 2018-03-15 support for "session_start";
16 months ago wenzelm 2018-03-13 allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
20 months ago wenzelm 2017-11-12 synchronous use_theories, based on consolidated_state;
20 months ago wenzelm 2017-11-12 clarified modules;
20 months ago wenzelm 2017-11-12 optional session_base, e.g. from existing Sessions.Deps in build.scala;
20 months ago wenzelm 2017-11-12 synchronous session start (similar to isabelle.vscode.Server);
20 months ago wenzelm 2017-11-12 tuned signature;
20 months ago wenzelm 2017-11-12 simplified: eliminated pointless Thy_Document_Model;
20 months ago wenzelm 2017-11-12 theory nodes are never visible: avoid prints, which are not covered by node_consolidated;
20 months ago wenzelm 2017-11-12 load theories via PIDE document update; theory nodes are always required;
20 months ago wenzelm 2017-11-12 PIDE resources for theory files;