[isabelle-dev] testboard

[Fabian Huch]

Thanks, the jenkins process crashed -- this technology is getting less 
and less reliable.


Fabian

On 9/10/23 10:43, Lawrence Paulson wrote:
> … is out of action again, the website at least
>
> Larry
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev