src/Pure/Tools/build.scala
13 months ago wenzelm 2018-05-17 clarified signature;
13 months ago wenzelm 2018-05-16 avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
13 months ago wenzelm 2018-05-11 more scalable -- avoid huge lines within stdout;
13 months ago wenzelm 2018-05-06 store exports in session database, with asynchronous / parallel compression;
13 months ago wenzelm 2018-05-05 protocol message for export of theory resources;
13 months ago wenzelm 2018-05-05 cleanup session output before starting build job; tuned signature;
15 months ago wenzelm 2018-03-13 allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
15 months ago wenzelm 2018-03-13 tuned signature;
15 months ago wenzelm 2018-03-13 tuned;
15 months ago wenzelm 2018-03-12 tuned imports;
15 months ago wenzelm 2018-03-08 clarified notion of unknown files: ignore files outside of a Mercurial repository;
16 months ago wenzelm 2018-01-23 treat sessions as entities with defining position; tuned signature;
17 months ago wenzelm 2018-01-19 formal treatment of documentation names;
17 months ago wenzelm 2018-01-08 clarified implicit Pure.thy;
17 months ago wenzelm 2017-12-29 formal check of @{cite} bibtex entries -- only in batch-mode session builds;
18 months ago wenzelm 2017-12-16 added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
18 months ago wenzelm 2017-11-27 suppress warning;
19 months ago wenzelm 2017-11-12 tuned signature;
19 months ago wenzelm 2017-11-07 proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";
19 months ago wenzelm 2017-11-07 tuned signature;
19 months ago wenzelm 2017-11-07 clarifified selection: always wrt. build_graph structure; tuned signature;
19 months ago wenzelm 2017-11-05 updated comments;
19 months ago wenzelm 2017-11-01 no heap sharing for empty session (e.g. HOL-ODE);
19 months ago wenzelm 2017-10-31 allow to augment session context via explicit session infos; more compact required_session interface;
19 months ago wenzelm 2017-10-31 clarified signature: global_theories is always required;
19 months ago wenzelm 2017-10-31 tuned;
19 months ago wenzelm 2017-10-30 more informative timeout message, notably for build_status;
19 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;
20 months ago wenzelm 2017-10-02 more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
20 months ago wenzelm 2017-10-02 tuned;
20 months ago wenzelm 2017-10-02 sources_stamp refers to full sources; simplified data storage (again);
20 months ago wenzelm 2017-10-02 option -S for "isabelle build";
20 months ago wenzelm 2017-10-01 persistent storage of imported_sources;
20 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
20 months ago wenzelm 2017-10-01 more standard merge operation;
20 months ago wenzelm 2017-09-29 more informative loaded_theories: dependencies and syntax;
20 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);
21 months ago wenzelm 2017-09-02 tuned;
21 months ago wenzelm 2017-09-02 tuned whitespace;
21 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;