src/Pure/Tools/build.scala
20 months ago wenzelm 2017-10-30 clarified: adapted to ML version;
20 months ago wenzelm 2017-10-16 provide theory timing information, similar to command timing but always considered relevant;
20 months ago wenzelm 2017-10-12 clarified signature;
20 months ago wenzelm 2017-10-11 added isablle build option -f;
20 months ago wenzelm 2017-10-09 tuned signature;
20 months ago wenzelm 2017-10-08 clarified signature;
21 months ago wenzelm 2017-10-02 more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
21 months ago wenzelm 2017-10-02 tuned;
21 months ago wenzelm 2017-10-02 sources_stamp refers to full sources; simplified data storage (again);
21 months ago wenzelm 2017-10-02 option -S for "isabelle build";
21 months ago wenzelm 2017-10-01 persistent storage of imported_sources;
21 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
21 months ago wenzelm 2017-10-01 more standard merge operation;
21 months ago wenzelm 2017-09-29 more informative loaded_theories: dependencies and syntax;
21 months ago wenzelm 2017-09-28 session-qualified theory names are mandatory;
21 months ago wenzelm 2017-09-15 clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
22 months ago wenzelm 2017-09-02 tuned;
22 months ago wenzelm 2017-09-02 tuned whitespace;
22 months ago wenzelm 2017-08-31 clarified errors;
2017-05-26 wenzelm 2017-05-26 more selective database access;
2017-05-14 wenzelm 2017-05-14 implicitly check for unknown files (not part of a Mercurial repository);
2017-05-14 wenzelm 2017-05-14 prefer explicit progress channel;
2017-05-14 wenzelm 2017-05-14 tuned signature;
2017-05-14 wenzelm 2017-05-14 tuned;
2017-04-21 wenzelm 2017-04-21 eliminated default_qualifier: just a constant;
2017-04-20 wenzelm 2017-04-20 clarified;
2017-04-19 wenzelm 2017-04-19 more position information;
2017-04-18 wenzelm 2017-04-18 more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to Scala;
2017-04-12 wenzelm 2017-04-12 clarified loaded_theories: map to qualified theory name; proper theory_name for PIDE editors;
2017-04-10 wenzelm 2017-04-10 proper import qualifier for global theories; clarified uniqueness;
2017-04-10 wenzelm 2017-04-10 explicit theory qualifier for session "HOL-Proofs": its theory name space overlaps with session "HOL", even for further imports;
2017-04-08 wenzelm 2017-04-08 more session_base information in ML; tuned signature;
2017-04-07 wenzelm 2017-04-07 tuned;
2017-04-07 wenzelm 2017-04-07 provide session base for "isabelle build" and "isabelle console" ML process;
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;