src/Pure/Thy/sessions.scala
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;
2017-04-17 wenzelm 2017-04-17 tuned signature;
2017-04-17 wenzelm 2017-04-17 special theories are always global;
2017-04-12 wenzelm 2017-04-12 proper bootstrap base for building Pure;
2017-04-12 wenzelm 2017-04-12 clarified loaded_theories: map to qualified theory name; proper theory_name for PIDE editors;
2017-04-12 wenzelm 2017-04-12 early check and normalization of session directory, e.g. relevant for path information passed to ML process, which may have a different CWD;
2017-04-11 wenzelm 2017-04-11 more informative known_files: known_theories within the local session directory come first; more thorough Session.Base.platform_path;
2017-04-11 wenzelm 2017-04-11 support for known theories files (according to multiple uses);
2017-04-10 wenzelm 2017-04-10 proper import qualifier for global theories; clarified uniqueness;
2017-04-10 wenzelm 2017-04-10 explicit theory qualifier for session "HOL-Proofs": its theory name space overlaps with session "HOL", even for further imports;
2017-04-08 wenzelm 2017-04-08 more qualifier treatment, but in the end it is still ignored;
2017-04-08 wenzelm 2017-04-08 more session_base information in ML; tuned signature;
2017-04-07 wenzelm 2017-04-07 tuned;
2017-04-07 wenzelm 2017-04-07 tuned comment;
2017-04-07 wenzelm 2017-04-07 more explicit lookup of loaded_theories: base names allowed here; no base names for known_theories;
2017-04-07 wenzelm 2017-04-07 support for all_known_theories of all sessions;
2017-04-07 wenzelm 2017-04-07 tuned;
2017-04-07 wenzelm 2017-04-07 known_theories from imported sessions;
2017-04-07 wenzelm 2017-04-07 tuned;
2017-04-07 wenzelm 2017-04-07 more checks;
2017-04-07 wenzelm 2017-04-07 tuned signature;
2017-04-07 wenzelm 2017-04-07 support for static session imports, without affect build hierarchy;
2017-04-07 wenzelm 2017-04-07 explicit Sessions.Selection;
2017-04-06 wenzelm 2017-04-06 clarified signature: tree structure is not essential;
2017-04-06 wenzelm 2017-04-06 tuned whitespace;
2017-04-06 wenzelm 2017-04-06 clarified fall-back name;
2017-04-06 wenzelm 2017-04-06 tuned signature;
2017-04-06 wenzelm 2017-04-06 clarified modules;
2017-04-05 wenzelm 2017-04-05 uniform import_name, with treatment of global and qualified theories;
2017-04-05 wenzelm 2017-04-05 tuned signature;
2017-04-04 wenzelm 2017-04-04 tuned signature;
2017-04-04 wenzelm 2017-04-04 tuned syntax; some official documentation;
2017-04-04 wenzelm 2017-04-04 clarified: allow to qualify theories from ROOT;
2017-04-04 wenzelm 2017-04-04 refer to global_theories from all sessions, before selection;
2017-04-04 wenzelm 2017-04-04 tuned signature;
2017-04-03 wenzelm 2017-04-03 tuned;
2017-04-03 wenzelm 2017-04-03 provide session qualifier via resources;
2017-04-03 wenzelm 2017-04-03 tuned signature;
2017-03-19 wenzelm 2017-03-19 proper primary key;
2017-03-19 wenzelm 2017-03-19 tuned;
2017-03-19 wenzelm 2017-03-19 tuned;
2017-03-19 wenzelm 2017-03-19 access table via session_name: db may in principle contain multiple entries;
2017-03-19 wenzelm 2017-03-19 eliminated somewhat redundant inlined name (despite a7aa17a1f721);
2017-03-17 wenzelm 2017-03-17 tuned;