src/Pure/Tools/build.scala
Wed, 23 Dec 2020 23:19:09 +0100 wenzelm more robust defaults: spurious problems with parallel invocations and interrupts;
Wed, 23 Dec 2020 23:08:57 +0100 wenzelm more interrupts;
Sun, 20 Dec 2020 15:47:54 +0100 wenzelm present auxiliary files with PIDE markup;
Tue, 08 Dec 2020 17:30:24 +0100 wenzelm clarified signature;
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
Thu, 26 Nov 2020 17:23:33 +0100 wenzelm clarified options: batch-build has pide_reports disabled by default (requires significant resources);
Mon, 23 Nov 2020 15:34:35 +0100 wenzelm unused;
Mon, 23 Nov 2020 15:14:58 +0100 wenzelm support for PIDE markup in batch build (inactive due to pide_reports=false);
Sat, 21 Nov 2020 21:02:38 +0100 wenzelm clarified signature: prefer Database_Context;
Sat, 21 Nov 2020 17:57:54 +0100 wenzelm more interrupts;
Sat, 21 Nov 2020 17:30:44 +0100 wenzelm clarified messages;
Sat, 21 Nov 2020 16:22:35 +0100 wenzelm clarified messages;
Sat, 21 Nov 2020 16:07:20 +0100 wenzelm clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
Thu, 19 Nov 2020 21:12:35 +0100 wenzelm clarified modules;
Wed, 18 Nov 2020 21:39:55 +0100 wenzelm tuned signature;
Wed, 18 Nov 2020 21:34:13 +0100 wenzelm store documents within session database, instead of browser_info directory;
Wed, 18 Nov 2020 15:52:12 +0100 wenzelm clarified modules;
Wed, 18 Nov 2020 13:16:08 +0100 wenzelm more explicit presentation directory;
Tue, 17 Nov 2020 23:26:41 +0100 wenzelm simplified/clarified persistent session information;
Tue, 17 Nov 2020 22:57:56 +0100 wenzelm refer to command_timings/last_timing via resources;
Tue, 17 Nov 2020 22:05:59 +0100 wenzelm more uniform Resources.init_session via YXML;
Tue, 17 Nov 2020 16:34:01 +0100 wenzelm clarified access to single database server vs. collection of database files;
Mon, 16 Nov 2020 22:46:02 +0100 wenzelm clarified signature: master_dir is just Path.current;
Mon, 16 Nov 2020 22:23:04 +0100 wenzelm HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
Sun, 15 Nov 2020 22:00:45 +0100 wenzelm refer to session structure from resources;
Sun, 15 Nov 2020 17:34:19 +0100 wenzelm clarified bibtex_entries: refer to overall session structure;
Thu, 12 Nov 2020 12:10:17 +0100 wenzelm tuned signature;
Wed, 11 Nov 2020 21:00:14 +0100 wenzelm build documents in Isabelle/Scala, based on generated tex files as session exports;
Sun, 08 Nov 2020 21:27:08 +0100 wenzelm tuned;
Mon, 05 Oct 2020 22:07:25 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Mon, 28 Sep 2020 22:22:56 +0200 wenzelm some support for document preparation in Isabelle/Scala;
Mon, 28 Sep 2020 21:14:47 +0200 wenzelm unused (see 7b318273a4aa);
Thu, 27 Aug 2020 12:34:10 +0200 wenzelm clarified signature;
Wed, 12 Aug 2020 11:26:01 +0200 wenzelm removed pointless option "ML_statistics": always enabled;
Fri, 07 Aug 2020 22:19:32 +0200 wenzelm clarified names;
Thu, 06 Aug 2020 23:44:43 +0200 wenzelm recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
Thu, 06 Aug 2020 23:27:52 +0200 wenzelm more compact command_timings, as in former batch-build;
Thu, 06 Aug 2020 22:43:40 +0200 wenzelm discontinued old batch-build functionality;
Sun, 26 Jul 2020 22:28:43 +0200 wenzelm enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
Sat, 11 Jul 2020 18:19:08 +0200 wenzelm clarified message --- as in former ML version (see 940195fbb282);
Sat, 11 Jul 2020 17:15:28 +0200 wenzelm clarified signature;
Sat, 11 Jul 2020 16:58:38 +0200 wenzelm clarified messages;
Sat, 11 Jul 2020 16:41:55 +0200 wenzelm clarified signature;
Sat, 11 Jul 2020 16:37:32 +0200 wenzelm tuned;
Sat, 11 Jul 2020 16:32:25 +0200 wenzelm avoid duplicate Timing messages (see also 5c4800f6b25a);
Sat, 11 Jul 2020 16:25:17 +0200 wenzelm more accurate message;
Sat, 11 Jul 2020 15:51:15 +0200 wenzelm clarified signature;
Sat, 11 Jul 2020 15:23:22 +0200 wenzelm clarified inlined protocol messages;
Fri, 10 Jul 2020 21:58:49 +0200 wenzelm clarified signature;
Fri, 10 Jul 2020 21:23:01 +0200 wenzelm more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
Wed, 08 Jul 2020 14:43:02 +0200 wenzelm more robust protocol for "Timing ..." messages, notably for pide_session=true;
Fri, 03 Jul 2020 16:48:57 +0200 wenzelm clarified log message (more uniform);
Wed, 01 Jul 2020 21:14:04 +0200 wenzelm tuned message;
Sat, 27 Jun 2020 11:25:30 +0200 wenzelm clarified signature;
Wed, 24 Jun 2020 20:59:50 +0200 wenzelm clarified use of memory: prefer share tree structures over fresh strings;
Sat, 20 Jun 2020 16:18:33 +0200 wenzelm share cache for parallel sessions;
Sat, 20 Jun 2020 15:09:20 +0200 wenzelm clarified signature;
Sat, 20 Jun 2020 11:01:57 +0200 wenzelm removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
Fri, 19 Jun 2020 16:12:32 +0200 wenzelm avoid redundant export handling for build;
less more (0) -300 -100 -60 tip