src/Pure/Tools/build.scala
Sat, 23 Jun 2018 17:05:59 +0200 wenzelm tuned;
Sat, 23 Jun 2018 14:23:53 +0200 wenzelm clarified queue ordering: take session descendants into account, notably for "slow" AFP sessions;
Wed, 30 May 2018 14:46:04 +0200 wenzelm clarified outermost progress.interrupt_handler;
Mon, 28 May 2018 13:35:43 +0200 wenzelm clarified signature;
Sat, 26 May 2018 19:40:02 +0200 wenzelm support 'export_files' in session ROOT;
Sat, 26 May 2018 16:52:03 +0200 wenzelm clarified cache;
Sat, 19 May 2018 20:05:13 +0200 wenzelm support for build_database_server (PostgreSQL);
Sat, 19 May 2018 16:13:39 +0200 wenzelm clarified store.clean_output: cleanup user_output_dir even in system_mode;
Sat, 19 May 2018 15:45:45 +0200 wenzelm clarified store directories;
Sat, 19 May 2018 14:47:54 +0200 wenzelm clarified handling of output heap;
Sat, 19 May 2018 14:12:44 +0200 wenzelm tuned;
Fri, 18 May 2018 21:50:46 +0200 wenzelm more abstract database access;
Fri, 18 May 2018 21:08:24 +0200 wenzelm tuned;
Fri, 18 May 2018 21:05:10 +0200 wenzelm clarified heap vs. database operations: discontinued correlation of directory;
Fri, 18 May 2018 17:09:55 +0200 wenzelm support Store with options;
Thu, 17 May 2018 15:38:36 +0200 wenzelm clarified signature;
Wed, 16 May 2018 21:36:59 +0200 wenzelm avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
Fri, 11 May 2018 19:57:49 +0200 wenzelm more scalable -- avoid huge lines within stdout;
Sun, 06 May 2018 23:03:08 +0200 wenzelm store exports in session database, with asynchronous / parallel compression;
Sat, 05 May 2018 22:33:35 +0200 wenzelm protocol message for export of theory resources;
Sat, 05 May 2018 13:56:51 +0200 wenzelm cleanup session output before starting build job;
Tue, 13 Mar 2018 21:04:42 +0100 wenzelm allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
Tue, 13 Mar 2018 18:40:25 +0100 wenzelm tuned signature;
Tue, 13 Mar 2018 18:28:12 +0100 wenzelm tuned;
Mon, 12 Mar 2018 11:17:59 +0100 wenzelm tuned imports;
Thu, 08 Mar 2018 11:46:37 +0100 wenzelm clarified notion of unknown files: ignore files outside of a Mercurial repository;
Tue, 23 Jan 2018 19:25:39 +0100 wenzelm treat sessions as entities with defining position;
Fri, 19 Jan 2018 14:55:46 +0100 wenzelm formal treatment of documentation names;
Mon, 08 Jan 2018 22:36:02 +0100 wenzelm clarified implicit Pure.thy;
Fri, 29 Dec 2017 17:40:57 +0100 wenzelm formal check of @{cite} bibtex entries -- only in batch-mode session builds;
Sat, 16 Dec 2017 21:53:07 +0100 wenzelm added document antiquotation @{session name};
Mon, 27 Nov 2017 16:07:49 +0100 wenzelm suppress warning;
Sun, 12 Nov 2017 12:41:05 +0100 wenzelm tuned signature;
Tue, 07 Nov 2017 21:40:53 +0100 wenzelm proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";
Tue, 07 Nov 2017 16:50:26 +0100 wenzelm tuned signature;
Tue, 07 Nov 2017 16:44:25 +0100 wenzelm clarifified selection: always wrt. build_graph structure;
Sun, 05 Nov 2017 15:50:26 +0100 wenzelm updated comments;
Wed, 01 Nov 2017 13:06:01 +0100 wenzelm no heap sharing for empty session (e.g. HOL-ODE);
Tue, 31 Oct 2017 21:50:09 +0100 wenzelm allow to augment session context via explicit session infos;
Tue, 31 Oct 2017 17:15:49 +0100 wenzelm clarified signature: global_theories is always required;
Tue, 31 Oct 2017 17:03:57 +0100 wenzelm tuned;
Mon, 30 Oct 2017 19:19:24 +0100 wenzelm more informative timeout message, notably for build_status;
Mon, 30 Oct 2017 18:39:30 +0100 wenzelm clarified: adapted to ML version;
Mon, 16 Oct 2017 14:32:09 +0200 wenzelm provide theory timing information, similar to command timing but always considered relevant;
Thu, 12 Oct 2017 11:25:06 +0200 wenzelm clarified signature;
Wed, 11 Oct 2017 20:16:00 +0200 wenzelm added isablle build option -f;
Mon, 09 Oct 2017 21:12:22 +0200 wenzelm tuned signature;
Sun, 08 Oct 2017 12:50:18 +0200 wenzelm clarified signature;
Mon, 02 Oct 2017 15:37:46 +0200 wenzelm more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
Mon, 02 Oct 2017 13:40:51 +0200 wenzelm tuned;
Mon, 02 Oct 2017 13:33:36 +0200 wenzelm sources_stamp refers to full sources;
Mon, 02 Oct 2017 11:43:17 +0200 wenzelm option -S for "isabelle build";
Sun, 01 Oct 2017 20:50:26 +0200 wenzelm persistent storage of imported_sources;
Sun, 01 Oct 2017 13:07:31 +0200 wenzelm option -B for "isabelle build" and "isabelle imports";
Sun, 01 Oct 2017 12:28:52 +0200 wenzelm more standard merge operation;
Fri, 29 Sep 2017 20:49:42 +0200 wenzelm more informative loaded_theories: dependencies and syntax;
Thu, 28 Sep 2017 15:11:32 +0200 wenzelm session-qualified theory names are mandatory;
Fri, 15 Sep 2017 17:50:52 +0200 wenzelm clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
Sat, 02 Sep 2017 12:55:44 +0200 wenzelm tuned;
Sat, 02 Sep 2017 12:09:07 +0200 wenzelm tuned whitespace;
less more (0) -100 -60 tip