Fri, 05 Aug 2022 18:45:49 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
Thu, 04 Aug 2022 12:43:33 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 04 Aug 2022 12:00:58 +0200 |
wenzelm |
clarified signature: proper session_name for Sessions.Base (like Sessions.Info);
|
file |
diff |
annotate
|
Wed, 03 Aug 2022 12:25:37 +0200 |
wenzelm |
avoid multiple load_commands;
|
file |
diff |
annotate
|
Wed, 22 Jun 2022 11:09:31 +0200 |
wenzelm |
clarified types and defaults;
|
file |
diff |
annotate
|
Mon, 04 Apr 2022 23:46:14 +0200 |
wenzelm |
clarified signature: avoid ambiguity in scala3;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Thu, 11 Nov 2021 22:06:18 +0100 |
wenzelm |
clarified signature: prefer static operations;
|
file |
diff |
annotate
|
Thu, 11 Nov 2021 21:54:28 +0100 |
wenzelm |
clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;
|
file |
diff |
annotate
|
Fri, 05 Nov 2021 12:05:17 +0100 |
wenzelm |
unused (see also 217e6cf61453, 5e7916535860);
|
file |
diff |
annotate
|
Wed, 03 Nov 2021 14:26:13 +0100 |
wenzelm |
more PIDE markup;
|
file |
diff |
annotate
|
Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
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
|
Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|