Address

[Makarius]

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