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
|
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
|
Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
Tue, 07 Nov 2017 16:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 07 Nov 2017 15:45:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 20 Apr 2017 10:30:30 +0200 |
wenzelm |
store Sessions.Info.name;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 11:50:49 +0200 |
wenzelm |
support for static session imports, without affect build hierarchy;
|
file |
diff |
annotate
|
Thu, 02 Mar 2017 15:46:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 16 Jan 2017 21:53:44 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 19 Oct 2016 16:30:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 11:38:03 +0200 |
wenzelm |
prefer Isabelle standard Path;
|
file |
diff |
annotate
|
Wed, 12 Oct 2016 10:22:34 +0200 |
wenzelm |
explicit indication of Admin tools;
|
file |
diff |
annotate
| base
|