src/Pure/Tools/build.scala
21 months ago ago treat sessions as entities with defining position;
22 months ago ago formal treatment of documentation names;
22 months ago ago clarified implicit Pure.thy;
22 months ago ago formal check of @{cite} bibtex entries -- only in batch-mode session builds;
23 months ago ago added document antiquotation @{session name};
23 months ago ago suppress warning;
2017-11-12 ago tuned signature;
2017-11-07 ago proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";
2017-11-07 ago tuned signature;
2017-11-07 ago clarifified selection: always wrt. build_graph structure;
2017-11-05 ago updated comments;
2017-11-01 ago no heap sharing for empty session (e.g. HOL-ODE);
2017-10-31 ago allow to augment session context via explicit session infos;
2017-10-31 ago clarified signature: global_theories is always required;
2017-10-31 ago tuned;
2017-10-30 ago more informative timeout message, notably for build_status;
2017-10-30 ago clarified: adapted to ML version;
2017-10-16 ago provide theory timing information, similar to command timing but always considered relevant;
2017-10-12 ago clarified signature;
2017-10-11 ago added isablle build option -f;
2017-10-09 ago tuned signature;
2017-10-08 ago clarified signature;
2017-10-02 ago more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
2017-10-02 ago tuned;
2017-10-02 ago sources_stamp refers to full sources;
2017-10-02 ago option -S for "isabelle build";
2017-10-01 ago persistent storage of imported_sources;
2017-10-01 ago option -B for "isabelle build" and "isabelle imports";
2017-10-01 ago more standard merge operation;
2017-09-29 ago more informative loaded_theories: dependencies and syntax;
2017-09-28 ago session-qualified theory names are mandatory;
2017-09-15 ago clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
2017-09-02 ago tuned;
2017-09-02 ago tuned whitespace;
2017-08-31 ago clarified errors;
2017-05-26 ago more selective database access;
2017-05-14 ago implicitly check for unknown files (not part of a Mercurial repository);
2017-05-14 ago prefer explicit progress channel;
2017-05-14 ago tuned signature;
2017-05-14 ago tuned;
2017-04-21 ago eliminated default_qualifier: just a constant;
2017-04-20 ago clarified;
2017-04-19 ago more position information;
2017-04-18 ago more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to 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;