[isabelle-dev] Registering not available
mathias.fleury12 at gmail.com
Wed Oct 14 10:35:51 CEST 2020
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev