src/Pure/Thy/sessions.scala
18 months ago wenzelm 2017-12-16 added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
18 months ago wenzelm 2017-12-16 disallow theory name "ROOT";
18 months ago wenzelm 2017-12-16 PIDE markup for session ROOT files;
18 months ago wenzelm 2017-12-16 tuned;
18 months ago wenzelm 2017-11-27 retain files in Pure.thy, notably $POLYML_EXE;
19 months ago wenzelm 2017-11-12 tuned signature;
19 months ago wenzelm 2017-11-12 tuned;
19 months ago wenzelm 2017-11-12 tuned signature;
19 months ago wenzelm 2017-11-07 clarified signature (again);
19 months ago wenzelm 2017-11-07 clarified exclusion: operate on completed selection, as last step;
19 months ago wenzelm 2017-11-07 tuned;
19 months ago wenzelm 2017-11-07 tuned signature;
19 months ago wenzelm 2017-11-07 clarifified selection: always wrt. build_graph structure; tuned signature;
19 months ago wenzelm 2017-11-07 tuned;
19 months ago wenzelm 2017-11-07 tuned signature;
19 months ago wenzelm 2017-11-07 backed out odd "bug fix" 671decd2e627;
19 months ago wenzelm 2017-11-05 uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main");
19 months ago wenzelm 2017-11-04 clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
19 months ago wenzelm 2017-11-02 proper deps;
19 months ago wenzelm 2017-11-02 allow unrelated ancestor; clarified error;
19 months ago wenzelm 2017-11-02 support alternative ancestor session;
19 months ago wenzelm 2017-11-02 support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
19 months ago wenzelm 2017-11-01 init only once (see also c0f776b661fa);
19 months ago wenzelm 2017-11-01 clarified terminology;
19 months ago wenzelm 2017-11-01 tuned signature;
19 months ago wenzelm 2017-11-01 do not store bulky Session.Deps;
19 months ago wenzelm 2017-11-01 avoid duplicate invocation of expensive Sessions.deps on full_sessions; tuned;
19 months ago wenzelm 2017-11-01 clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
19 months ago wenzelm 2017-10-31 removed unused option, which is potentially expensive;
19 months ago wenzelm 2017-10-31 allow to augment session context via explicit session infos; more compact required_session interface;
19 months ago wenzelm 2017-10-31 synthesize session with all required theories from other session imports;
19 months ago wenzelm 2017-10-31 clarified signature;
19 months ago wenzelm 2017-10-31 clarified signature;
19 months ago wenzelm 2017-10-31 clarified signature;
19 months ago wenzelm 2017-10-31 clarified signature;
19 months ago wenzelm 2017-10-31 clarified signature: global_theories is always required;
19 months ago wenzelm 2017-10-31 tuned signature;
19 months ago wenzelm 2017-10-31 clarified modules;
19 months ago wenzelm 2017-10-31 more permissive: db could be empty after hard crash;
19 months ago wenzelm 2017-10-25 uniform system name;
20 months ago wenzelm 2017-10-16 provide theory timing information, similar to command timing but always considered relevant;
20 months ago wenzelm 2017-10-13 tuned signature;
20 months ago wenzelm 2017-10-12 clarified signature;
20 months ago wenzelm 2017-10-11 clarified meta_digest;
20 months ago wenzelm 2017-10-10 tuned signature;
20 months ago wenzelm 2017-10-10 tuned signature;
20 months ago wenzelm 2017-10-09 operations for graph display;
20 months ago wenzelm 2017-10-09 tuned signature;
20 months ago wenzelm 2017-10-09 tuned;
20 months ago wenzelm 2017-10-09 clarified signature: public access to ROOT file syntax;
20 months ago wenzelm 2017-10-07 theory qualifier is always session name (see also 31e8a86971a8);
20 months ago wenzelm 2017-10-06 clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
20 months ago wenzelm 2017-10-04 process ROOT files only once, which allows duplicate (or overlapping) session root directories;
20 months ago wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
20 months ago wenzelm 2017-10-02 more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
20 months ago wenzelm 2017-10-02 sources_stamp refers to full sources; simplified data storage (again);
20 months ago wenzelm 2017-10-01 persistent storage of imported_sources;
20 months ago wenzelm 2017-10-01 cache sources: invoke SHA1.digest at most once; maintain imported_sources, as required for new theories;
20 months ago wenzelm 2017-10-01 tuned;
20 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";