2017-06-26 ago proper bootstrap_name (amending b42743f5b595);
2017-06-01 ago tuned signature;
2017-05-26 ago unused;
2017-05-26 ago store errors in build_history logs and database;
2017-05-26 ago store errors in build db;
2017-05-17 ago clarified use of XML.Cache;
2017-05-14 ago tuned signature;
2017-05-06 ago tuned signature;
2017-05-06 ago clarified signature;
2017-05-03 ago tuned signature;
2017-05-03 ago clarified signature;
2017-04-28 ago tuned signature;
2017-04-28 ago tuned;
2017-04-28 ago tuned signature;
2017-04-27 ago tuned signature;
2017-04-27 ago clarified modules;
2017-04-25 ago meta_digest without accidental source positions (amending 1544e61e5314): avoid spurious rebuild of unrelated sessions after editing ROOT;
2017-04-23 ago support for potential session imports;
2017-04-23 ago support for Mercurial manifest check;
2017-04-23 ago tuned;
2017-04-21 ago proper imports_resources for import_name: avoid self-referential name resolution;
2017-04-21 ago eliminated default_qualifier: just a constant;
2017-04-21 ago proper theory_qualifier;
2017-04-20 ago more operations;
2017-04-20 ago tuned signature;
2017-04-20 ago clarified;
2017-04-20 ago store;
2017-04-19 ago more position information;
2017-04-18 ago clarified session graph: collapse theories from other sessions;
2017-04-17 ago clarified: Map index uses canonical files;
2017-04-17 ago tuned signature;
2017-04-17 ago tuned signature;
2017-04-17 ago proper imports_base, notably for thy_deps;
2017-04-17 ago tuned signature;
2017-04-17 ago special theories are always global;
2017-04-12 ago proper bootstrap base for building Pure;
2017-04-12 ago clarified loaded_theories: map to qualified theory name;
2017-04-12 ago 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 ago more informative known_files: known_theories within the local session directory come first;
2017-04-11 ago support for known theories files (according to multiple uses);
2017-04-10 ago proper import qualifier for global theories;
2017-04-10 ago explicit theory qualifier for session "HOL-Proofs": its theory name space overlaps with session "HOL", even for further imports;
2017-04-08 ago more qualifier treatment, but in the end it is still ignored;
2017-04-08 ago more session_base information in ML;
2017-04-07 ago tuned;
2017-04-07 ago tuned comment;
2017-04-07 ago more explicit lookup of loaded_theories: base names allowed here;
2017-04-07 ago support for all_known_theories of all sessions;
2017-04-07 ago tuned;
2017-04-07 ago known_theories from imported sessions;
2017-04-07 ago tuned;
2017-04-07 ago more checks;
2017-04-07 ago tuned signature;
2017-04-07 ago support for static session imports, without affect build hierarchy;
2017-04-07 ago explicit Sessions.Selection;
2017-04-06 ago clarified signature: tree structure is not essential;
2017-04-06 ago tuned whitespace;
2017-04-06 ago clarified fall-back name;
2017-04-06 ago tuned signature;
2017-04-06 ago clarified modules;