Email Gateway (Jan 07 2025 at 10:45): Email Gateway (Jan 07 2025 at 10:45):From: Tobias Nipkow <nipkow@in.tum.de>
Dear readers of this list,
Please note that starting with the new year, the only valid address for this
list is the above one (which most of you will use anyway). Addresses like
informatik.tu-muenchen.de no longer work because TUM has switched them off.
Tobias
Email Gateway (Jan 07 2025 at 14:48):From: Makarius <makarius@sketis.net>
On 07/01/2025 11:44, Tobias Nipkow wrote:
Dear readers of this list,
Please note that starting with the new year, the only valid address for this
list is the above one (which most of you will use anyway). Addresses like
informatik.tu-muenchen.de no longer work because TUM has switched them off.
What is the canonical Web interface now?
Makarius
Email Gateway (Jan 07 2025 at 15:06):From: Tobias Nipkow <nipkow@in.tum.de>
Sorry, I don't get the question. I use thunderbird.
Tobias
On 07/01/2025 15:47, Makarius wrote:
On 07/01/2025 11:44, Tobias Nipkow wrote:
Dear readers of this list,
Please note that starting with the new year, the only valid address for this
list is the above one (which most of you will use anyway). Addresses like
informatik.tu-muenchen.de no longer work because TUM has switched them off.What is the canonical Web interface now?
Makarius
Email Gateway (Jan 07 2025 at 15:44):From: Makarius <makarius@sketis.net>
On 07/01/2025 16:05, Tobias Nipkow wrote:
Sorry, I don't get the question. I use thunderbird.
Mailman has a canonical Web interface to manage it, e.g. to
subscribe/unsubscribe, change configuration etc.
We used to have this one, but it no longer works:
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Here is a still working example:
https://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Makarius
Email Gateway (Jan 07 2025 at 15:56):From: Roland Lutz <rlutz@hedmen.org>
On Tue, 7 Jan 2025, Makarius wrote:
Mailman has a canonical Web interface to manage it, e.g. to
subscribe/unsubscribe, change configuration etc.We used to have this one, but it no longer works:
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-devHere is a still working example:
https://lists.inf.ed.ac.uk/mailman/listinfo/polyml
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
The "isabelle-dev mailing list" link on the Isabelle website still works,
the "subscribe" and "archive" links point to informatik.tu-muenchen.de
addresses and should probably be updated.
Roland
Email Gateway (Jan 07 2025 at 16:07):From: Makarius <makarius@sketis.net>
On 07/01/2025 16:56, Roland Lutz wrote:
Thanks, at least that is a working Web interface.
The address looks not canonical in terms of the TUM/CIT DNS restructuring, though.
Makarius
Last updated: Feb 01 2025 at 20:19 UTC