[isabelle-dev] Testboard and AFP

Fabian Huch huch at in.tum.de
Fri May 10 09:35:07 CEST 2024

The Jenkins regularly chokes (likely due to bad programming and 
unmaintained plugins). The high system load also has the effect that the 
isa-afp page can get slow sometimes.

We'll replace it soon: A prototype of the new build system is available at



On 5/8/24 12:23, Lawrence Paulson wrote:
> What is happening at Munich? These websites are either unreachable or extremely sluggish.
> Larry
> _______________________________________________
> 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