src/Pure/Tools/build.ML
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;
Fri, 01 Apr 2016 17:00:18 +0200 wenzelm less bulky timing information, e.g. HOL 56913 ~> 672;
Sat, 26 Mar 2016 14:27:58 +0100 wenzelm obsolete -- done in Isabelle_Process.init_options;
Sat, 26 Mar 2016 14:14:23 +0100 wenzelm clarified use of options;
Sat, 26 Mar 2016 13:41:14 +0100 wenzelm tuned signature;
Fri, 18 Mar 2016 17:11:30 +0100 wenzelm clarified modules;
Tue, 15 Mar 2016 16:23:27 +0100 wenzelm ML save_state under control of Isabelle/Scala;
Sat, 12 Mar 2016 20:17:37 +0100 wenzelm clarified session build options: already provided by ML_Process;
Mon, 29 Feb 2016 16:25:51 +0100 wenzelm redundant -- already part of Session.finish;
Mon, 29 Feb 2016 16:12:47 +0100 wenzelm save heap more directly;
Sat, 10 Oct 2015 16:21:34 +0200 wenzelm more explicit HTML.symbols;
Fri, 09 Oct 2015 19:25:13 +0200 wenzelm output HTML text according to Isabelle/Scala Symbol.Interpretation;
Sun, 25 Jan 2015 22:11:06 +0100 wenzelm discontinued obsolete option "document_graph";
Sun, 25 Jan 2015 21:46:21 +0100 wenzelm provide session_graph.pdf via Isabelle/Scala;
Thu, 15 Jan 2015 12:54:08 +0100 wenzelm more informative build_theories_result: cumulative Runtime.exn_message;
Thu, 15 Jan 2015 11:39:58 +0100 wenzelm tuned;
Wed, 14 Jan 2015 16:27:19 +0100 wenzelm clarified build_theories: proper protocol handler;
Wed, 14 Jan 2015 14:28:52 +0100 wenzelm clarified build_theories;
Tue, 13 Jan 2015 21:46:09 +0100 wenzelm some support for PIDE batch session;
Mon, 22 Dec 2014 16:44:24 +0100 wenzelm system option "pretty_margin" is superseded by "thy_output_margin";
Thu, 18 Dec 2014 21:10:39 +0100 wenzelm suppress irrelevant timing messages (the majority);
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Fri, 07 Nov 2014 16:36:55 +0100 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
Fri, 31 Oct 2014 18:56:59 +0100 wenzelm discontinued pointless option: timing is always on (overall theory only);
Tue, 22 Apr 2014 12:30:54 +0200 wenzelm tuned;
Thu, 17 Apr 2014 12:03:15 +0200 wenzelm tuned comments;
Thu, 17 Apr 2014 11:42:36 +0200 wenzelm tuned;
Thu, 17 Apr 2014 11:29:15 +0200 wenzelm tuned;
Fri, 11 Apr 2014 11:52:28 +0200 wenzelm explicit 'document_files' in session ROOT specifications;
Thu, 10 Apr 2014 18:13:44 +0200 wenzelm removed obsolete doc_dump option (see also 892061142ba6);
Thu, 13 Feb 2014 12:09:51 +0100 wenzelm explicit indication that redefining outer syntax commands is not supposed to happen -- NB: interactive mode requires global change of syntax;
Mon, 10 Feb 2014 22:39:04 +0100 wenzelm seal system channels at end of Pure bootstrap -- Isabelle/Scala provides official interfaces;
Wed, 11 Dec 2013 18:02:22 +0100 wenzelm support for polml-5.5.2;
Sat, 16 Nov 2013 22:17:45 +0100 wenzelm prefer explicit "document" flag -- eliminated stateful Present.no_document;
Mon, 26 Aug 2013 21:56:08 +0200 wenzelm added SHA1 library integrity test, which is invoked at compile time and Isabelle_Process run-time;
Fri, 02 Aug 2013 20:47:02 +0200 wenzelm tuned signature;
Fri, 19 Jul 2013 17:58:57 +0200 wenzelm just one option "skip_proofs", without direct access within the editor (it makes document processing stateful without strong reasons -- monotonic updates already handle goal forks smoothly);
Sun, 30 Jun 2013 12:30:02 +0200 wenzelm discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image;
Sun, 30 Jun 2013 11:37:34 +0200 wenzelm backout dedd7952a62c: static "proofs" value within theory prevents later inferencing with different configuration;
less more (0) -60 tip