| Thu, 15 Feb 2024 11:33:36 +0100 |
wenzelm |
more robust type, with explicit default;
|
file |
diff |
annotate
|
| Thu, 22 Dec 2022 16:53:45 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 17:51:52 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2022 14:53:29 +0100 |
wenzelm |
clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
|
file |
diff |
annotate
|
| Sat, 05 Nov 2022 14:29:19 +0100 |
wenzelm |
more command-line options;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 20:20:37 +0200 |
wenzelm |
clarified signature: re-use store/cache from build results;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 19:31:58 +0200 |
wenzelm |
clarified signature: prefer Export.Session_Context over Sessions.Database_Context;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 17:14:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Wed, 17 Nov 2021 15:46:35 +0100 |
wenzelm |
more interrupts;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 20:32:52 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 16:15:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 30 Mar 2021 12:32:24 +0200 |
wenzelm |
support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 13:46:28 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2020 17:30:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Sun, 22 Nov 2020 13:31:33 +0100 |
wenzelm |
proper output directory (amending cc1347c8c804);
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 21:02:38 +0100 |
wenzelm |
clarified signature: prefer Database_Context;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 17:12:17 +0100 |
wenzelm |
clarified document output;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 12 Nov 2020 16:27:31 +0100 |
wenzelm |
more interrupts, notably for running latex;
|
file |
diff |
annotate
|
| Thu, 12 Nov 2020 12:34:36 +0100 |
wenzelm |
more parallelism;
|
file |
diff |
annotate
|
| Thu, 12 Nov 2020 11:43:07 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Wed, 11 Nov 2020 23:06:27 +0100 |
wenzelm |
more interrupts;
|
file |
diff |
annotate
|
| Wed, 11 Nov 2020 22:20:57 +0100 |
wenzelm |
clarified build_doc, based on Present.build_documents;
|
file |
diff |
annotate
|
| Sat, 27 Jun 2020 11:25:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:58:42 +0200 |
wenzelm |
clarified signature --- fit within limit of 22 arguments;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|