src/Pure/Tools/build.ML
Sat, 11 Jul 2020 16:58:38 +0200 wenzelm clarified messages;
Sat, 11 Jul 2020 15:23:22 +0200 wenzelm clarified inlined protocol messages;
Sat, 11 Jul 2020 14:44:50 +0200 wenzelm removed unused property;
Wed, 08 Jul 2020 14:43:02 +0200 wenzelm more robust protocol for "Timing ..." messages, notably for pide_session=true;
Sun, 24 May 2020 21:01:51 +0200 wenzelm proper stack_limit;
Sun, 24 May 2020 14:47:28 +0200 wenzelm asynchronous build_session: notably for Scala.fulfill protocol commands during run;
Sun, 24 May 2020 14:15:44 +0200 wenzelm clarified build_session protocol;
Sun, 24 May 2020 13:39:45 +0200 wenzelm clarified signature;
Sun, 24 May 2020 12:38:41 +0200 wenzelm more robust: explicit check for PIDE session;
Sun, 24 May 2020 10:36:42 +0200 wenzelm tuned signature;
Fri, 03 Apr 2020 11:22:51 +0200 wenzelm tuned signature;
Thu, 02 Apr 2020 20:06:43 +0200 wenzelm proper treatment of protocol exceptions and prover termination: avoid session.stop while saving image;
Thu, 02 Apr 2020 12:49:53 +0200 wenzelm clarified signature: more direct Isabelle_Process.EXIT;
Mon, 30 Mar 2020 19:39:11 +0200 wenzelm more accurate treatment of errors;
Sun, 29 Mar 2020 21:32:20 +0200 wenzelm tuned signature -- follow Scala;
Sun, 29 Mar 2020 13:25:59 +0200 wenzelm clarified protocol messages: explicitly use physical_writeln, always encode_lines;
Sun, 29 Mar 2020 12:30:27 +0200 wenzelm tuned;
Sat, 28 Mar 2020 19:53:01 +0100 wenzelm tuned;
Sat, 28 Mar 2020 19:11:59 +0100 wenzelm eliminated pointless flag (see also 6533ceee4cd7);
Sat, 02 Nov 2019 12:02:27 +0100 wenzelm more scalable protocol_message: use XML.body directly (Output.output hook is not required);
Sat, 19 Oct 2019 11:33:36 +0200 wenzelm proper protocol_message for bootstrap proofs;
Mon, 16 Sep 2019 16:00:10 +0200 wenzelm find theories via session directories only -- ignore known_theories;
Thu, 12 Sep 2019 13:33:09 +0200 wenzelm find theory files via session structure: much faster Prover IDE startup;
Wed, 30 Jan 2019 13:25:33 +0100 wenzelm discontinued obsolete option "checkpoint";
Tue, 26 Jun 2018 18:44:51 +0200 wenzelm tuned signature;
Sun, 20 May 2018 15:05:17 +0200 wenzelm tuned;
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);
Mon, 14 May 2018 10:58:14 +0200 wenzelm clarified signature: more explicit type "context" with full options;
Fri, 11 May 2018 19:57:49 +0200 wenzelm more scalable -- avoid huge lines within stdout;
Sat, 05 May 2018 22:33:35 +0200 wenzelm protocol message for export of theory resources;
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;
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, 16 Oct 2017 14:32:09 +0200 wenzelm provide theory timing information, similar to command timing but always considered relevant;
Thu, 28 Sep 2017 15:11:32 +0200 wenzelm session-qualified theory names are mandatory;
Fri, 09 Jun 2017 14:25:00 +0200 wenzelm avoid markup, for the sake of Build_Log.Log_File.parse_props;
Sat, 27 May 2017 13:20:35 +0200 wenzelm clarified build errors;
Fri, 26 May 2017 19:39:02 +0200 wenzelm tuned;
Fri, 26 May 2017 15:19:21 +0200 wenzelm store errors in build db;
Fri, 21 Apr 2017 14:09:03 +0200 wenzelm eliminated default_qualifier: just a constant;
Wed, 19 Apr 2017 20:10:34 +0200 wenzelm more position information;
Thu, 13 Apr 2017 12:39:36 +0200 wenzelm clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";
Mon, 10 Apr 2017 16:43:12 +0200 wenzelm proper import qualifier for global theories;
Sat, 08 Apr 2017 22:36:32 +0200 wenzelm more qualifier treatment, but in the end it is still ignored;
Sat, 08 Apr 2017 21:28:19 +0200 wenzelm provide Resources.import_name in ML, similar to Scala version;
Sat, 08 Apr 2017 20:56:41 +0200 wenzelm more session_base information in ML;
Fri, 07 Apr 2017 19:35:39 +0200 wenzelm provide session base for "isabelle build" and "isabelle console" ML process;
Sun, 19 Mar 2017 11:56:56 +0100 wenzelm eliminated somewhat redundant inlined name (despite a7aa17a1f721);
Sat, 18 Mar 2017 20:51:42 +0100 wenzelm more realistic PIDE build session;
Sat, 18 Mar 2017 16:15:37 +0100 wenzelm more explicit build_session args;
Sat, 18 Mar 2017 14:30:03 +0100 wenzelm avoid compiler warning;
Mon, 27 Feb 2017 16:29:52 +0100 wenzelm absent timing information means zero, according to 0070053570c4, f235646b1b73;
Sun, 18 Dec 2016 15:53:27 +0100 wenzelm dummy fork to produce ML_statistics even in sequential mode (e.g. for heap size);
Wed, 19 Oct 2016 14:42:28 +0200 wenzelm added system option "profiling";
Thu, 08 Sep 2016 18:18:57 +0200 wenzelm option "checkpoint" helps to fine-tune global heap space management;
Sat, 09 Apr 2016 16:16:05 +0200 wenzelm shared output primitives of physical/virtual Pure;
Sat, 09 Apr 2016 14:17:50 +0200 wenzelm tuned signature;
Wed, 06 Apr 2016 11:44:34 +0200 wenzelm clarified bootstrap;
Sat, 02 Apr 2016 23:29:05 +0200 wenzelm prefer infix operations;
less more (0) -100 -60 tip