| Wed, 16 Dec 2020 15:44:17 +0100 |
wenzelm |
afford more reactive input;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 12:57:58 +0100 |
wenzelm |
full PIDE reports in batch build: see how it impacts overall performance;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:23:33 +0100 |
wenzelm |
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 17:12:17 +0100 |
wenzelm |
clarified document output;
|
file |
diff |
annotate
|
| Wed, 11 Nov 2020 22:20:57 +0100 |
wenzelm |
clarified build_doc, based on Present.build_documents;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2020 16:32:41 +0200 |
wenzelm |
follow Phabricator update 2020 Week 37;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2020 18:03:17 +0200 |
wenzelm |
discontinue export_document --- always enabled (reverting f0f83ce0badd);
|
file |
diff |
annotate
|
| Sun, 16 Aug 2020 22:02:11 +0200 |
wenzelm |
upgrade phabricator: Promote 2020 Week 31 + subsequent change;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 11:26:01 +0200 |
wenzelm |
removed pointless option "ML_statistics": always enabled;
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 22:43:40 +0200 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
| Fri, 24 Jul 2020 20:43:32 +0200 |
wenzelm |
follow Phabricator update 2020 Week 27;
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 22:35:24 +0200 |
wenzelm |
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 11:01:57 +0200 |
wenzelm |
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
|
file |
diff |
annotate
|
| Fri, 19 Jun 2020 18:29:37 +0200 |
wenzelm |
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
|
file |
diff |
annotate
|
| Fri, 19 Jun 2020 16:12:32 +0200 |
wenzelm |
avoid redundant export handling for build;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2020 20:42:52 +0200 |
wenzelm |
enable pide_session by default;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 12:43:04 +0200 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
| Mon, 18 May 2020 12:59:01 +0200 |
wenzelm |
follow Phabricator update 2020 Week 19;
|
file |
diff |
annotate
|
| 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
|