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
|