src/Pure/Thy/sessions.scala
19 months ago wenzelm 2017-10-02 more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
19 months ago wenzelm 2017-10-02 sources_stamp refers to full sources; simplified data storage (again);
19 months ago wenzelm 2017-10-01 persistent storage of imported_sources;
19 months ago wenzelm 2017-10-01 cache sources: invoke SHA1.digest at most once; maintain imported_sources, as required for new theories;
19 months ago wenzelm 2017-10-01 tuned;
19 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
19 months ago wenzelm 2017-10-01 more standard merge operation;
20 months ago wenzelm 2017-09-29 unused;
20 months ago wenzelm 2017-09-29 more accurate node_syntax: avoid overall_syntax for PIDE edits;
20 months ago wenzelm 2017-09-29 tuned signature;
20 months ago wenzelm 2017-09-29 clarified theory syntax vs. overall session syntax;
20 months ago wenzelm 2017-09-29 unused;
20 months ago wenzelm 2017-09-29 more informative loaded_theories: dependencies and syntax;
20 months ago wenzelm 2017-09-29 tuned signature;
20 months ago wenzelm 2017-09-29 tuned;
20 months ago wenzelm 2017-09-29 tuned signature;
20 months ago wenzelm 2017-09-28 session-qualified theory names are mandatory;
20 months ago wenzelm 2017-09-27 maintain loaded_files for each theory;
20 months ago wenzelm 2017-09-26 clarified pure_files, based on uniform loaded_files;
20 months ago wenzelm 2017-09-26 tuned signature -- more readable output as Scala value;
20 months ago wenzelm 2017-09-16 proper standard_path to revert platform_path in JEdit_Sessions.session_base;
20 months ago wenzelm 2017-09-05 tolerate more errors (cf. 1e5ae735e026);
21 months ago wenzelm 2017-08-31 clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
21 months ago wenzelm 2017-08-31 tuned;
21 months ago wenzelm 2017-08-31 clarified errors;
23 months ago wenzelm 2017-07-01 tuned;
23 months ago wenzelm 2017-06-30 clarified platform file operations;
23 months ago wenzelm 2017-06-26 proper bootstrap_name (amending b42743f5b595);
24 months ago wenzelm 2017-06-01 tuned signature;
24 months ago wenzelm 2017-05-26 unused;
24 months ago wenzelm 2017-05-26 store errors in build_history logs and database;
24 months ago 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;
2017-05-06 wenzelm 2017-05-06 tuned signature;
2017-05-06 wenzelm 2017-05-06 clarified signature;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 clarified signature;
2017-04-28 wenzelm 2017-04-28 tuned signature;
2017-04-28 wenzelm 2017-04-28 tuned;
2017-04-28 wenzelm 2017-04-28 tuned signature;
2017-04-27 wenzelm 2017-04-27 tuned signature;
2017-04-27 wenzelm 2017-04-27 clarified modules;
2017-04-25 wenzelm 2017-04-25 meta_digest without accidental source positions (amending 1544e61e5314): avoid spurious rebuild of unrelated sessions after editing ROOT;
2017-04-23 wenzelm 2017-04-23 support for potential session imports;
2017-04-23 wenzelm 2017-04-23 support for Mercurial manifest check;
2017-04-23 wenzelm 2017-04-23 tuned;
2017-04-21 wenzelm 2017-04-21 proper imports_resources for import_name: avoid self-referential name resolution;
2017-04-21 wenzelm 2017-04-21 eliminated default_qualifier: just a constant;
2017-04-21 wenzelm 2017-04-21 proper theory_qualifier;
2017-04-20 wenzelm 2017-04-20 more operations;
2017-04-20 wenzelm 2017-04-20 tuned signature;
2017-04-20 wenzelm 2017-04-20 clarified;
2017-04-20 wenzelm 2017-04-20 store Sessions.Info.name;
2017-04-19 wenzelm 2017-04-19 more position information;
2017-04-18 wenzelm 2017-04-18 clarified session graph: collapse theories from other sessions;
2017-04-17 wenzelm 2017-04-17 clarified: Map index uses canonical files;
2017-04-17 wenzelm 2017-04-17 tuned signature;
2017-04-17 wenzelm 2017-04-17 tuned signature;
2017-04-17 wenzelm 2017-04-17 proper imports_base, notably for thy_deps;