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;
2017-04-05 ago uniform import_name, with treatment of global and qualified theories;
2017-04-05 ago tuned signature;
2017-04-04 ago tuned signature;
2017-04-04 ago tuned syntax;
2017-04-04 ago clarified: allow to qualify theories from ROOT;
2017-04-04 ago refer to global_theories from all sessions, before selection;
2017-04-04 ago tuned signature;
2017-04-03 ago tuned;
2017-04-03 ago provide session qualifier via resources;
2017-04-03 ago tuned signature;
2017-03-19 ago proper primary key;
2017-03-19 ago tuned;
2017-03-19 ago tuned;
2017-03-19 ago access table via session_name: db may in principle contain multiple entries;
2017-03-19 ago eliminated somewhat redundant inlined name (despite a7aa17a1f721);
2017-03-17 ago tuned;
2017-03-17 ago proper columns;
2017-03-17 ago tuned signature;
2017-03-17 ago more general signature: not limited to SQLite;
2017-03-17 ago maintain persistent session info in SQLite database instead of log file;
2017-03-17 ago tuned;
2017-03-17 ago tuned message;
2017-03-17 ago clarified signature;
2017-03-17 ago more selective queries;
2017-03-17 ago clarified data representation;
2017-03-17 ago data representation with XML.Cache;
2017-03-17 ago clarified name;
2017-03-16 ago SQL database operations for combined session info;
2017-03-16 ago tuned signature;
2017-03-15 ago unused;
2017-03-15 ago clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
2017-03-15 ago clarified modules;
2017-01-09 ago clarified modules;
2016-10-02 ago tuned whitespace;
2016-07-11 ago clarified keywords;
2016-04-19 ago more IDE support for Isabelle/Pure bootstrap;
2016-04-14 ago clarified modules;
2016-04-13 ago eliminated "xname" and variants;
2016-04-13 ago clarified syntax;
2016-04-10 ago tuned;
2016-04-10 ago more standard session build process, including browser_info;
2016-04-07 ago more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use';
2016-04-06 ago clarified ML bootstrap;
2016-04-05 ago tuned;
2016-03-30 ago tuned message;
2016-03-24 ago proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
2016-03-16 ago support for Poly/ML heap hierarchy, which saves a lot of disk space;
2016-03-16 ago clarified signature;
2016-03-16 ago tuned signature;
2016-03-15 ago find heaps uniformly via Sessions.Store;
2016-03-15 ago clarified modules;