| Mon, 06 Mar 2023 19:09:17 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 18:58:48 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 23:25:30 +0100 |
wenzelm |
clarified signature: manage "verbose" flag via "progress";
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 22:29:21 +0100 |
wenzelm |
clarified treatment of "verbose" messages, e.g. Progress.theory();
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 14:58:59 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 21:04:49 +0100 |
wenzelm |
clarified signature: more concise operations;
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 17:10:22 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 15:42:13 +0100 |
wenzelm |
tunes signature;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 15:28:56 +0100 |
wenzelm |
afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2022 13:33:04 +0100 |
wenzelm |
clarified options;
|
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, 19 May 2021 10:41:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 16:35:56 +0100 |
wenzelm |
clarified signature: more specific types;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 20:26:09 +0100 |
wenzelm |
clarified signature: provide XZ.Cache where Export.Entry is created;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 16:14:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 16:08:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 13:52:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 13:37:10 +0100 |
wenzelm |
proper output of document sources (cf. d892f6d66402);
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2020 18:03:17 +0200 |
wenzelm |
discontinue export_document --- always enabled (reverting f0f83ce0badd);
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 11:26:01 +0200 |
wenzelm |
removed pointless option "ML_statistics": always enabled;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 14:25:48 +0200 |
wenzelm |
clarified order --- proper sorting of requirements;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:17:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 28 Apr 2020 19:50:36 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|