src/Pure/Thy/thy_resources.scala
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;
15 months ago wenzelm 2018-03-22 provide tmp_dir for server session;
15 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;
15 months ago wenzelm 2018-03-17 fewer messages;
15 months ago wenzelm 2018-03-17 output result messages;
15 months ago wenzelm 2018-03-17 more robust check_state loop, even without session activity (e.g. idempotent use_theories);
15 months ago wenzelm 2018-03-17 synchronized Session.update;
15 months ago wenzelm 2018-03-17 more interruptible use_theories; tuned comments;
15 months ago wenzelm 2018-03-17 tuned;
15 months ago wenzelm 2018-03-17 more interruptible; tuned signature;
15 months ago wenzelm 2018-03-17 unload_theories: actually observe required state; misc tuning and clarification;
15 months ago wenzelm 2018-03-16 prefer typed UUID;
15 months ago wenzelm 2018-03-16 unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);
15 months ago wenzelm 2018-03-16 support for "use_theories";
15 months ago wenzelm 2018-03-16 interruptible exploration of dependencies;
15 months ago wenzelm 2018-03-16 clarified signature;
15 months ago wenzelm 2018-03-16 tuned message;
15 months ago wenzelm 2018-03-15 support for "session_start";
15 months ago wenzelm 2018-03-13 allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
19 months ago wenzelm 2017-11-12 synchronous use_theories, based on consolidated_state;
19 months ago wenzelm 2017-11-12 clarified modules;
19 months ago wenzelm 2017-11-12 optional session_base, e.g. from existing Sessions.Deps in build.scala;
19 months ago wenzelm 2017-11-12 synchronous session start (similar to isabelle.vscode.Server);
19 months ago wenzelm 2017-11-12 tuned signature;
19 months ago wenzelm 2017-11-12 simplified: eliminated pointless Thy_Document_Model;
19 months ago wenzelm 2017-11-12 theory nodes are never visible: avoid prints, which are not covered by node_consolidated;
19 months ago wenzelm 2017-11-12 load theories via PIDE document update; theory nodes are always required;
19 months ago wenzelm 2017-11-12 PIDE resources for theory files;