Address

[Tobias Nipkow]

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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5187 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250107/b2c61b89/attachment.bin>