Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Wed, 15 Dec 2021 15:26:31 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Wed, 15 Dec 2021 13:07:49 +0100 |
wenzelm |
clarified author names;
|
file |
diff |
annotate
|
Wed, 15 Dec 2021 12:41:33 +0100 |
wenzelm |
clarified author names;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 21:12:33 +0100 |
wenzelm |
more accurate names;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 20:50:35 +0100 |
wenzelm |
more standard author_info;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 19:23:21 +0100 |
wenzelm |
clarified author info and cluster nodes;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 17:22:40 +0100 |
wenzelm |
more data integrity: name vs. address;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 10:19:48 +0100 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 10:07:10 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 09:53:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 09:46:29 +0100 |
wenzelm |
more data integrity: name vs. address;
|
file |
diff |
annotate
|
Tue, 14 Dec 2021 08:59:49 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Mon, 13 Dec 2021 22:12:48 +0100 |
wenzelm |
more data integrity: name vs. address;
|
file |
diff |
annotate
|
Mon, 13 Dec 2021 19:39:12 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Mon, 13 Dec 2021 19:21:24 +0100 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
Mon, 13 Dec 2021 17:59:02 +0100 |
wenzelm |
more mailing list content;
|
file |
diff |
annotate
|
Mon, 13 Dec 2021 15:34:40 +0100 |
wenzelm |
more mailing list content;
|
file |
diff |
annotate
|
Fri, 10 Dec 2021 19:21:14 +0100 |
wenzelm |
more Mailman archives;
|
file |
diff |
annotate
|
Fri, 10 Dec 2021 18:56:18 +0100 |
wenzelm |
more Mailman content;
|
file |
diff |
annotate
|
Fri, 10 Dec 2021 16:55:42 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 23 Jun 2021 17:39:43 +0200 |
wenzelm |
avoid legacy domain informatik.tu-muenchen.de;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
Sun, 08 Nov 2020 16:20:39 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 08 Nov 2020 16:19:24 +0100 |
wenzelm |
proper list_url, suitable for composition;
|
file |
diff |
annotate
|
Sat, 07 Nov 2020 20:46:24 +0100 |
wenzelm |
maintain Isabelle mailing list archives;
|
file |
diff |
annotate
|
Sat, 07 Nov 2020 20:24:34 +0100 |
wenzelm |
support for Mailman list servers;
|
file |
diff |
annotate
|