Address

[Roland Lutz]

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-dev
>
> Here 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