[isabelle-dev] Registering not available

Mathias Fleury mathias.fleury12 at gmail.com
Wed Oct 14 10:35:51 CEST 2020

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
and try to subscribe by giving an email address, I get the following error:


You don't have permission to access this resource.«

Does anyone know what is going on?


Mathias Fleury
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20201014/2b493eef/attachment.htm>

More information about the isabelle-dev mailing list