src/Pure/Tools/build_job.scala
Sun, 20 Dec 2020 15:47:54 +0100 wenzelm present auxiliary files with PIDE markup;
Sat, 19 Dec 2020 15:32:29 +0100 wenzelm tuned signature;
Thu, 10 Dec 2020 23:29:11 +0100 wenzelm more informative error;
Thu, 10 Dec 2020 22:57:25 +0100 wenzelm proper else statement;
Thu, 10 Dec 2020 22:44:53 +0100 wenzelm clarified session log file: avoid erratic messages;
Thu, 10 Dec 2020 22:15:16 +0100 wenzelm clarified messages;
Thu, 10 Dec 2020 18:38:26 +0100 wenzelm NEWS and documentation for "isabelle log";
Thu, 10 Dec 2020 17:41:46 +0100 wenzelm clarified messages;
Thu, 10 Dec 2020 17:14:49 +0100 wenzelm clarified types;
Thu, 10 Dec 2020 17:09:06 +0100 wenzelm clarified Pretty.Metric, as for build errors;
Thu, 10 Dec 2020 17:01:14 +0100 wenzelm tuned;
Thu, 10 Dec 2020 16:35:56 +0100 wenzelm clarified signature: more specific types;
Thu, 10 Dec 2020 15:27:41 +0100 wenzelm tuned messages;
Thu, 10 Dec 2020 15:21:55 +0100 wenzelm clarified output of Isabelle symbols;
Thu, 10 Dec 2020 14:51:56 +0100 wenzelm clarified file sources: take from build database instead of file-system;
Thu, 10 Dec 2020 14:31:34 +0100 wenzelm tuned;
Thu, 10 Dec 2020 14:13:03 +0100 wenzelm tuned messages;
Wed, 09 Dec 2020 20:19:27 +0100 wenzelm clarified signature;
Wed, 09 Dec 2020 20:10:10 +0100 wenzelm added "isabelle log": print messages from build database;
Wed, 09 Dec 2020 15:53:45 +0100 wenzelm clarified signature;
Wed, 09 Dec 2020 15:14:24 +0100 wenzelm clarified signature;
Tue, 08 Dec 2020 17:30:24 +0100 wenzelm clarified signature;
Tue, 08 Dec 2020 16:30:17 +0100 wenzelm clarified signature: name according to db model without Sessions.Structure/Deps;
Mon, 07 Dec 2020 22:02:57 +0100 wenzelm tuned;
Mon, 07 Dec 2020 21:49:39 +0100 wenzelm read theory with PIDE markup from session database;
Mon, 07 Dec 2020 16:47:47 +0100 wenzelm clarified exports;
Sat, 05 Dec 2020 12:43:21 +0100 wenzelm clarified signature, notably access to blob files;
Sat, 05 Dec 2020 12:14:40 +0100 wenzelm support for PIDE markup for auxiliary files ("blobs");
Sun, 29 Nov 2020 21:09:46 +0100 wenzelm proper source symbols in persistent data;
Thu, 26 Nov 2020 23:23:19 +0100 wenzelm store timings for used_theories in canonical order, with reconstructed store.read_theories;
Thu, 26 Nov 2020 18:05:24 +0100 wenzelm more exports from rendering;
Thu, 26 Nov 2020 16:51:40 +0100 wenzelm proper return code for more errors (amending d892f6d66402);
Thu, 26 Nov 2020 16:19:55 +0100 wenzelm more exports, as in "isabelle dump";
Thu, 26 Nov 2020 16:08:39 +0100 wenzelm clarified signature;
Thu, 26 Nov 2020 15:49:27 +0100 wenzelm clarified signature: prefer high-level Snapshot over low-level Command.State;
Thu, 26 Nov 2020 13:15:57 +0100 wenzelm tuned;
Thu, 26 Nov 2020 12:21:45 +0100 wenzelm clarified signature --- avoid repeated open_database on server;
Wed, 25 Nov 2020 20:48:33 +0100 wenzelm clarified command_timings protocol;
Wed, 25 Nov 2020 12:57:45 +0100 wenzelm eliminated pointless transaction;
Wed, 25 Nov 2020 12:55:09 +0100 wenzelm tuned signature;
Wed, 25 Nov 2020 12:52:00 +0100 wenzelm clarified document_output vs. progress;
Tue, 24 Nov 2020 16:49:42 +0100 wenzelm more robust;
Tue, 24 Nov 2020 16:39:58 +0100 wenzelm clarified signature and database layout;
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:12:17 +0100 wenzelm clarified document output;
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:23:12 +0100 wenzelm clarified signature;
Thu, 19 Nov 2020 21:12:35 +0100 wenzelm clarified modules;
less more (0) tip