[isabelle-dev] Registering not available

Manuel Eberl eberlm at in.tum.de
Wed Oct 14 14:44:35 CEST 2020

I didn't do anything, and I was able to log into the admin interface a
few days ago without any problems.

Peter privately told me it works again for him now, so perhaps those who
were affected should try again.


On 14/10/2020 12:10, Peter Lammich wrote:
> 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?
> --
>   Peter
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20201014/2aef46a0/attachment.htm>

More information about the isabelle-dev mailing list