src/Pure/Tools/build.scala
2017-04-12 ago clarified loaded_theories: map to qualified theory name;
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 session_base information in ML;
2017-04-07 ago tuned;
2017-04-07 ago provide session base for "isabelle build" and "isabelle console" ML process;
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 signature;
2017-04-05 ago uniform import_name, with treatment of global and qualified theories;
2017-04-04 ago tuned syntax;
2017-04-04 ago refer to global_theories from all sessions, before selection;
2017-04-03 ago tuned message;
2017-04-03 ago tuned;
2017-04-03 ago provide session qualifier via resources;
2017-04-01 ago clarified YXML vs. symbol encoding: operate on whole message;
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-18 ago more informative session result;
2017-03-18 ago clarified signature;
2017-03-18 ago tuned;
2017-03-18 ago more realistic PIDE build session;
2017-03-18 ago more uniform options;
2017-03-18 ago support PIDE option (inactive);
2017-03-18 ago more explicit build_session args;
2017-03-17 ago tuned signature;
2017-03-17 ago suppress inlined properties from log output;
2017-03-17 ago maintain persistent session info in SQLite database instead of log file;
2017-03-17 ago tuned signature;
2017-03-17 ago clarified data representation;
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 tuned whitespace;
2017-03-15 ago clarified modules;
2017-03-15 ago tuned signature;
2017-03-14 ago tuned;
2017-03-14 ago misc tuning and simplification;
2017-03-13 ago tuned;
2017-03-13 ago tuned signature;
2017-01-16 ago tuned signature;
2017-01-09 ago clarified modules;
2017-01-09 ago tuned;
2017-01-09 ago tuned signature;
2017-01-08 ago tuned signature;
2017-01-01 ago generate static TextMate grammar for VSCode editor;
2017-01-01 ago tuned signature;
2016-12-18 ago added isabelle jedit -R;
2016-11-01 ago extra newline as for other tools;
2016-10-16 ago isabelle build -N;
2016-10-12 ago tuned signature;
2016-10-11 ago tuned signature;
2016-10-11 ago modernized date format;
2016-10-08 ago tuned;
2016-10-07 ago clarified signature;
2016-10-07 ago more uniform treatment of settings;
2016-10-07 ago clarified modules;
2016-10-07 ago tuned;