src/Pure/Tools/build.scala
8 months ago wenzelm 2019-02-15 clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; tuned messages;
8 months ago wenzelm 2019-01-31 removed left-over test material (amending bb0a354f6b46);
8 months ago wenzelm 2019-01-27 updated to polyml-test-1b2dcf8f5202;
9 months ago wenzelm 2019-01-16 support pruning of export names;
9 months ago wenzelm 2018-12-29 tuned signature;
10 months ago wenzelm 2018-11-28 prefer "Isabelle DejaVu Sans", even for headless batch-build (session_graph.pdf);
13 months ago wenzelm 2018-09-09 clarified theory progress;
13 months ago wenzelm 2018-09-08 tuned signature;
13 months ago wenzelm 2018-09-07 clarified rc;
14 months ago wenzelm 2018-08-01 isabelle build options -c -x -B refer to imports_graph;
14 months ago wenzelm 2018-08-01 tuned signature;
16 months ago wenzelm 2018-06-23 tuned;
16 months ago wenzelm 2018-06-23 clarified queue ordering: take session descendants into account, notably for "slow" AFP sessions;
16 months ago wenzelm 2018-05-30 clarified outermost progress.interrupt_handler;
17 months ago wenzelm 2018-05-28 clarified signature;
17 months ago wenzelm 2018-05-26 support 'export_files' in session ROOT;
17 months ago wenzelm 2018-05-26 clarified cache;
17 months ago wenzelm 2018-05-19 support for build_database_server (PostgreSQL); clarified signature;
17 months ago wenzelm 2018-05-19 clarified store.clean_output: cleanup user_output_dir even in system_mode;
17 months ago wenzelm 2018-05-19 clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
17 months ago wenzelm 2018-05-19 clarified handling of output heap;
17 months ago wenzelm 2018-05-19 tuned;
17 months ago wenzelm 2018-05-18 more abstract database access;
17 months ago wenzelm 2018-05-18 tuned;
17 months ago wenzelm 2018-05-18 clarified heap vs. database operations: discontinued correlation of directory;
17 months ago wenzelm 2018-05-18 support Store with options;
17 months ago wenzelm 2018-05-17 clarified signature;
17 months ago wenzelm 2018-05-16 avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
17 months ago wenzelm 2018-05-11 more scalable -- avoid huge lines within stdout;
17 months ago wenzelm 2018-05-06 store exports in session database, with asynchronous / parallel compression;
17 months ago wenzelm 2018-05-05 protocol message for export of theory resources;
17 months ago wenzelm 2018-05-05 cleanup session output before starting build job; tuned signature;
19 months ago wenzelm 2018-03-13 allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
19 months ago wenzelm 2018-03-13 tuned signature;
19 months ago wenzelm 2018-03-13 tuned;
19 months ago wenzelm 2018-03-12 tuned imports;
19 months ago wenzelm 2018-03-08 clarified notion of unknown files: ignore files outside of a Mercurial repository;
21 months ago wenzelm 2018-01-23 treat sessions as entities with defining position; tuned signature;
21 months ago wenzelm 2018-01-19 formal treatment of documentation names;
21 months ago wenzelm 2018-01-08 clarified implicit Pure.thy;
22 months ago wenzelm 2017-12-29 formal check of @{cite} bibtex entries -- only in batch-mode session builds;
22 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;
23 months ago wenzelm 2017-11-27 suppress warning;
23 months ago wenzelm 2017-11-12 tuned signature;
23 months ago wenzelm 2017-11-07 proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";
23 months ago wenzelm 2017-11-07 tuned signature;
23 months ago wenzelm 2017-11-07 clarifified selection: always wrt. build_graph structure; tuned signature;
23 months ago wenzelm 2017-11-05 updated comments;
23 months ago wenzelm 2017-11-01 no heap sharing for empty session (e.g. HOL-ODE);
24 months ago wenzelm 2017-10-31 allow to augment session context via explicit session infos; more compact required_session interface;
24 months ago wenzelm 2017-10-31 clarified signature: global_theories is always required;
24 months ago wenzelm 2017-10-31 tuned;
24 months ago wenzelm 2017-10-30 more informative timeout message, notably for build_status;
24 months ago wenzelm 2017-10-30 clarified: adapted to ML version;
2017-10-16 wenzelm 2017-10-16 provide theory timing information, similar to command timing but always considered relevant;
2017-10-12 wenzelm 2017-10-12 clarified signature;
2017-10-11 wenzelm 2017-10-11 added isablle build option -f;
2017-10-09 wenzelm 2017-10-09 tuned signature;
2017-10-08 wenzelm 2017-10-08 clarified signature;
2017-10-02 wenzelm 2017-10-02 more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;