src/Pure/Thy/sessions.scala
20 months ago wenzelm 2017-10-31 removed unused option, which is potentially expensive;
20 months ago wenzelm 2017-10-31 allow to augment session context via explicit session infos; more compact required_session interface;
20 months ago wenzelm 2017-10-31 synthesize session with all required theories from other session imports;
20 months ago wenzelm 2017-10-31 clarified signature;
20 months ago wenzelm 2017-10-31 clarified signature;
20 months ago wenzelm 2017-10-31 clarified signature;
20 months ago wenzelm 2017-10-31 clarified signature;
20 months ago wenzelm 2017-10-31 clarified signature: global_theories is always required;
20 months ago wenzelm 2017-10-31 tuned signature;
20 months ago wenzelm 2017-10-31 clarified modules;
20 months ago wenzelm 2017-10-31 more permissive: db could be empty after hard crash;
21 months ago wenzelm 2017-10-25 uniform system name;
21 months ago wenzelm 2017-10-16 provide theory timing information, similar to command timing but always considered relevant;
21 months ago wenzelm 2017-10-13 tuned signature;
21 months ago wenzelm 2017-10-12 clarified signature;
21 months ago wenzelm 2017-10-11 clarified meta_digest;
21 months ago wenzelm 2017-10-10 tuned signature;
21 months ago wenzelm 2017-10-10 tuned signature;
21 months ago wenzelm 2017-10-09 operations for graph display;
21 months ago wenzelm 2017-10-09 tuned signature;
21 months ago wenzelm 2017-10-09 tuned;
21 months ago wenzelm 2017-10-09 clarified signature: public access to ROOT file syntax;
21 months ago wenzelm 2017-10-07 theory qualifier is always session name (see also 31e8a86971a8);
21 months ago wenzelm 2017-10-06 clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
21 months ago wenzelm 2017-10-04 process ROOT files only once, which allows duplicate (or overlapping) session root directories;
21 months ago wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
21 months ago wenzelm 2017-10-02 more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
21 months ago wenzelm 2017-10-02 sources_stamp refers to full sources; simplified data storage (again);
21 months ago wenzelm 2017-10-01 persistent storage of imported_sources;
21 months ago wenzelm 2017-10-01 cache sources: invoke SHA1.digest at most once; maintain imported_sources, as required for new theories;
21 months ago wenzelm 2017-10-01 tuned;
21 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
21 months ago wenzelm 2017-10-01 more standard merge operation;
21 months ago wenzelm 2017-09-29 unused;
21 months ago wenzelm 2017-09-29 more accurate node_syntax: avoid overall_syntax for PIDE edits;
21 months ago wenzelm 2017-09-29 tuned signature;
21 months ago wenzelm 2017-09-29 clarified theory syntax vs. overall session syntax;
21 months ago wenzelm 2017-09-29 unused;
21 months ago wenzelm 2017-09-29 more informative loaded_theories: dependencies and syntax;
21 months ago wenzelm 2017-09-29 tuned signature;
21 months ago wenzelm 2017-09-29 tuned;
21 months ago wenzelm 2017-09-29 tuned signature;
21 months ago wenzelm 2017-09-28 session-qualified theory names are mandatory;
21 months ago wenzelm 2017-09-27 maintain loaded_files for each theory;
22 months ago wenzelm 2017-09-26 clarified pure_files, based on uniform loaded_files;
22 months ago wenzelm 2017-09-26 tuned signature -- more readable output as Scala value;
22 months ago wenzelm 2017-09-16 proper standard_path to revert platform_path in JEdit_Sessions.session_base;
22 months ago wenzelm 2017-09-05 tolerate more errors (cf. 1e5ae735e026);
22 months ago wenzelm 2017-08-31 clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
22 months ago wenzelm 2017-08-31 tuned;
22 months ago wenzelm 2017-08-31 clarified errors;
2017-07-01 wenzelm 2017-07-01 tuned;
2017-06-30 wenzelm 2017-06-30 clarified platform file operations;
2017-06-26 wenzelm 2017-06-26 proper bootstrap_name (amending b42743f5b595);
2017-06-01 wenzelm 2017-06-01 tuned signature;
2017-05-26 wenzelm 2017-05-26 unused;
2017-05-26 wenzelm 2017-05-26 store errors in build_history logs and database;
2017-05-26 wenzelm 2017-05-26 store errors in build db;
2017-05-17 wenzelm 2017-05-17 clarified use of XML.Cache;
2017-05-14 wenzelm 2017-05-14 tuned signature;