src/Pure/Thy/sessions.scala
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;
2017-03-17 wenzelm 2017-03-17 proper columns;
2017-03-17 wenzelm 2017-03-17 tuned signature;
2017-03-17 wenzelm 2017-03-17 more general signature: not limited to SQLite;
2017-03-17 wenzelm 2017-03-17 maintain persistent session info in SQLite database instead of log file;
2017-03-17 wenzelm 2017-03-17 tuned;
2017-03-17 wenzelm 2017-03-17 tuned message;
2017-03-17 wenzelm 2017-03-17 clarified signature;
2017-03-17 wenzelm 2017-03-17 more selective queries;
2017-03-17 wenzelm 2017-03-17 clarified data representation;
2017-03-17 wenzelm 2017-03-17 data representation with XML.Cache; tuned;
2017-03-17 wenzelm 2017-03-17 clarified name;
2017-03-16 wenzelm 2017-03-16 SQL database operations for combined session info;
2017-03-16 wenzelm 2017-03-16 tuned signature;
2017-03-15 wenzelm 2017-03-15 unused;
2017-03-15 wenzelm 2017-03-15 clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
2017-03-15 wenzelm 2017-03-15 clarified modules;
2017-01-09 wenzelm 2017-01-09 clarified modules; tuned;
2016-10-02 wenzelm 2016-10-02 tuned whitespace;
2016-07-11 wenzelm 2016-07-11 clarified keywords;
2016-04-19 wenzelm 2016-04-19 more IDE support for Isabelle/Pure bootstrap;
2016-04-14 wenzelm 2016-04-14 clarified modules;
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2016-04-13 wenzelm 2016-04-13 clarified syntax;
2016-04-10 wenzelm 2016-04-10 tuned;
2016-04-10 wenzelm 2016-04-10 more standard session build process, including browser_info; clarified final setup of global ML environment;
2016-04-07 wenzelm 2016-04-07 more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use'; avoid slowdown of Resources.loaded_files due to command name 'use' in Pure base syntax;
2016-04-06 wenzelm 2016-04-06 clarified ML bootstrap;
2016-04-05 wenzelm 2016-04-05 tuned;
2016-03-30 wenzelm 2016-03-30 tuned message;
2016-03-24 wenzelm 2016-03-24 proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
2016-03-16 wenzelm 2016-03-16 support for Poly/ML heap hierarchy, which saves a lot of disk space;
2016-03-16 wenzelm 2016-03-16 clarified signature;
2016-03-16 wenzelm 2016-03-16 tuned signature;
2016-03-15 wenzelm 2016-03-15 find heaps uniformly via Sessions.Store; tuned;
2016-03-15 wenzelm 2016-03-15 clarified modules;
2016-03-15 wenzelm 2016-03-15 clarified modules;