src/Pure/Tools/build.scala
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 signature;
2017-04-05 wenzelm 2017-04-05 uniform import_name, with treatment of global and qualified theories;
2017-04-04 wenzelm 2017-04-04 tuned syntax; some official documentation;
2017-04-04 wenzelm 2017-04-04 refer to global_theories from all sessions, before selection;
2017-04-03 wenzelm 2017-04-03 tuned message;
2017-04-03 wenzelm 2017-04-03 tuned;
2017-04-03 wenzelm 2017-04-03 provide session qualifier via resources;
2017-04-01 wenzelm 2017-04-01 clarified YXML vs. symbol encoding: operate on whole message;
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-18 wenzelm 2017-03-18 more informative session result;
2017-03-18 wenzelm 2017-03-18 clarified signature;
2017-03-18 wenzelm 2017-03-18 tuned;
2017-03-18 wenzelm 2017-03-18 more realistic PIDE build session;
2017-03-18 wenzelm 2017-03-18 more uniform options;
2017-03-18 wenzelm 2017-03-18 support PIDE option (inactive); misc tuning;
2017-03-18 wenzelm 2017-03-18 more explicit build_session args; support both command-line and PIDE version;
2017-03-17 wenzelm 2017-03-17 tuned signature;
2017-03-17 wenzelm 2017-03-17 suppress inlined properties from log output;
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 signature;
2017-03-17 wenzelm 2017-03-17 clarified data representation;
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 tuned whitespace;
2017-03-15 wenzelm 2017-03-15 clarified modules;
2017-03-15 wenzelm 2017-03-15 tuned signature;
2017-03-14 wenzelm 2017-03-14 tuned;
2017-03-14 wenzelm 2017-03-14 misc tuning and simplification;
2017-03-13 wenzelm 2017-03-13 tuned;
2017-03-13 wenzelm 2017-03-13 tuned signature;
2017-01-16 wenzelm 2017-01-16 tuned signature;
2017-01-09 wenzelm 2017-01-09 clarified modules; tuned;
2017-01-09 wenzelm 2017-01-09 tuned;
2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-01 wenzelm 2017-01-01 generate static TextMate grammar for VSCode editor;
2017-01-01 wenzelm 2017-01-01 tuned signature;
2016-12-18 wenzelm 2016-12-18 added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
2016-11-01 wenzelm 2016-11-01 extra newline as for other tools;
2016-10-16 wenzelm 2016-10-16 isabelle build -N;
2016-10-12 wenzelm 2016-10-12 tuned signature;
2016-10-11 wenzelm 2016-10-11 tuned signature;
2016-10-11 wenzelm 2016-10-11 modernized date format;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-07 wenzelm 2016-10-07 clarified signature;
2016-10-07 wenzelm 2016-10-07 more uniform treatment of settings;
2016-10-07 wenzelm 2016-10-07 clarified modules; CI_Profile: show all settings;
2016-10-07 wenzelm 2016-10-07 tuned;
2016-10-06 wenzelm 2016-10-06 misc tuning and clarification;
2016-10-04 wenzelm 2016-10-04 clarified modules;
2016-10-04 wenzelm 2016-10-04 check session name;
2016-10-04 wenzelm 2016-10-04 tuned signature;
2016-10-02 wenzelm 2016-10-02 tuned whitespace;
2016-09-14 wenzelm 2016-09-14 tuned;