On 07/01/2025 16:56, Roland Lutz wrote: > > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev Thanks, at least that is a working Web interface. The address looks not canonical in terms of the TUM/CIT DNS restructuring, though. Makarius