[isabelle-dev] Registering not available

Peter Lammich lammich at in.tum.de
Wed Oct 14 12:10:32 CEST 2020

This is strange. I used to be admin of this list, but find myself
locked out from the admin interface! 

@Manuel: have you changed the passwords or settings?


On Wed, 2020-10-14 at 10:35 +0200, 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

More information about the isabelle-dev mailing list