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 [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
