[isabelle-dev] Registering not available

[Tobias Nipkow]

Thanks for alerting us. Should be back to nomal now.

Tobias

On 14/10/2020 10:35, Mathias Fleury wrote:
> Hi all,
> 
> Hans-Jörg noticed that registering on the mailing list is currently not 
> available -- it produces an error message. If I go to 
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev and 
> try to subscribe by giving an email address, I get the following error:
> 
> »Forbidden
> 
> You don't have permission to access this resource.«
> 
> 
> Does anyone know what is going on?
> 
> 
> Thanks,
> 
> Mathias Fleury
> 
> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 

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