Fri, 03 Apr 2020 17:35:10 +0200 |
wenzelm |
less redundant markup reports;
|
file |
diff |
annotate
|
Wed, 01 Apr 2020 21:10:44 +0200 |
wenzelm |
prefer system option: easier to make it default;
|
file |
diff |
annotate
|
Mon, 02 Mar 2020 15:33:58 +0100 |
wenzelm |
follow Phabricator update 2020 Week 6;
|
file |
diff |
annotate
|
Sat, 08 Feb 2020 15:18:58 +0100 |
wenzelm |
allow to override repository versions at runtime;
|
file |
diff |
annotate
|
Wed, 06 Nov 2019 23:24:16 +0100 |
wenzelm |
discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
|
file |
diff |
annotate
|
Wed, 06 Nov 2019 23:16:30 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Tue, 05 Nov 2019 16:49:33 +0100 |
wenzelm |
more phabricator setup;
|
file |
diff |
annotate
|
Wed, 30 Oct 2019 20:10:35 +0100 |
wenzelm |
MySQL setup;
|
file |
diff |
annotate
|
Wed, 30 Oct 2019 19:23:01 +0100 |
wenzelm |
Apache setup;
|
file |
diff |
annotate
|
Wed, 30 Oct 2019 15:50:57 +0100 |
wenzelm |
some support for Phabricator server;
|
file |
diff |
annotate
|
Sun, 20 Oct 2019 16:16:23 +0200 |
wenzelm |
option to export standardized proof terms (not scalable);
|
file |
diff |
annotate
|
Mon, 07 Oct 2019 21:51:31 +0200 |
wenzelm |
clarified option type;
|
file |
diff |
annotate
|
Mon, 07 Oct 2019 17:20:26 +0200 |
wenzelm |
count document nodes via raw file length;
|
file |
diff |
annotate
|
Mon, 07 Oct 2019 11:35:43 +0200 |
wenzelm |
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
|
file |
diff |
annotate
|
Sat, 05 Oct 2019 15:34:54 +0200 |
wenzelm |
clarified options -- more scalable;
|
file |
diff |
annotate
|
Tue, 01 Oct 2019 19:54:42 +0200 |
wenzelm |
consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
|
file |
diff |
annotate
|
Tue, 01 Oct 2019 19:08:24 +0200 |
wenzelm |
obsolete (see 60abd1e94168);
|
file |
diff |
annotate
|
Mon, 30 Sep 2019 16:40:35 +0200 |
wenzelm |
support headless_load_limit for more scalable load process;
|
file |
diff |
annotate
|
Thu, 29 Aug 2019 17:13:49 +0200 |
wenzelm |
more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
|
file |
diff |
annotate
|
Mon, 26 Aug 2019 20:01:28 +0200 |
wenzelm |
added system option "execution_eager": potentially reduce resource requires for "isabelle mmt_import" (smaller subgraphs are finished and disposed earlier);
|
file |
diff |
annotate
|
Mon, 22 Jul 2019 16:15:40 +0200 |
wenzelm |
support export_proofs, prune_proofs;
|
file |
diff |
annotate
|
Thu, 02 May 2019 14:05:59 +0200 |
wenzelm |
clarified PIDE markup;
|
file |
diff |
annotate
|
Thu, 11 Apr 2019 16:43:02 +0200 |
wenzelm |
strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
|
file |
diff |
annotate
|
Thu, 11 Apr 2019 15:44:06 +0200 |
wenzelm |
added document antiquotation option "cartouche";
|
file |
diff |
annotate
|
Sun, 24 Mar 2019 17:53:46 +0100 |
wenzelm |
clarified spell-checking (see also 30233285270a);
|
file |
diff |
annotate
|
Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
Wed, 30 Jan 2019 13:25:33 +0100 |
wenzelm |
discontinued obsolete option "checkpoint";
|
file |
diff |
annotate
|
Sun, 06 Jan 2019 12:42:26 +0100 |
wenzelm |
support for isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
Fri, 04 Jan 2019 21:49:06 +0100 |
wenzelm |
support for isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Thu, 03 Jan 2019 21:48:05 +0100 |
wenzelm |
support for isabelle update -u inner_syntax_cartouches;
|
file |
diff |
annotate
|