| Wed, 24 Nov 2021 22:57:33 +0100 |
wenzelm |
option document_comment_latex supports e.g. Dagstuhl LIPIcs;
|
file |
diff |
annotate
|
| Sun, 21 Nov 2021 17:42:11 +0100 |
wenzelm |
clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true";
|
file |
diff |
annotate
|
| Sat, 20 Nov 2021 18:58:23 +0100 |
wenzelm |
Latex.Output.latex_heading depends on option document_heading_prefix, e.g. relevant for Dagstuhl LIPIcs which prefers unaliased \section etc.;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2021 16:48:42 +0100 |
wenzelm |
discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2021 13:51:24 +0100 |
wenzelm |
clarified messages, depending on option "document_echo";
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2021 15:20:08 +0200 |
wenzelm |
follow phabricator 2021 Week 26;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 15:13:34 +0200 |
wenzelm |
follow Phabricator update 2021 Week 23;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 13:04:17 +0200 |
wenzelm |
updated descriptions;
|
file |
diff |
annotate
|
| Sun, 06 Jun 2021 20:29:52 +0200 |
wenzelm |
clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);
|
file |
diff |
annotate
|
| Mon, 24 May 2021 11:58:06 +0200 |
wenzelm |
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
|
file |
diff |
annotate
|
| Wed, 19 May 2021 13:19:37 +0200 |
wenzelm |
explicit option document_bibliography;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 22:02:21 +0200 |
wenzelm |
option document_preprocessor;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 15:17:55 +0200 |
wenzelm |
option document_logo;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 23:30:25 +0200 |
wenzelm |
option document_build refers to build engine in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 16 May 2021 13:14:16 +0200 |
wenzelm |
ignore session build timeout, notably in AFP;
|
file |
diff |
annotate
|
| Fri, 14 May 2021 21:32:11 +0200 |
wenzelm |
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
|
file |
diff |
annotate
|
| Mon, 05 Apr 2021 22:45:01 +0200 |
wenzelm |
following recent Phabricator update, after 2021 Week 13 (Late March);
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 17:29:49 +0100 |
wenzelm |
clarified timeouts in Isabelle/ML;
|
file |
diff |
annotate
|
| Wed, 27 Jan 2021 13:44:08 +0100 |
wenzelm |
follow Phabricator update 2021 Week 4;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2020 14:08:35 +0100 |
wenzelm |
follow Phabricator update 2020 Week 42;
|
file |
diff |
annotate
|
| 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
|