| 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
|