[isabelle-dev] Problems with server room cooling at TUM

[Makarius]

On 03/08/2024 14:37, Lawrence Paulson wrote:
> I haven’t had access to the repository for several days now. I hope it can be 
> restored soon.

You can see a read-only version here, as usual:
https://isabelle.in.tum.de/repos/isabelle

There is no problem to access the underlying network file-systems, only with 
various servers that we traditionally use to access it.


	Makarius