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

[Makarius]

On 03/08/2024 14:44, Makarius wrote:
> 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

Actually, you can also push there using ssh. My hgrc [paths] specification is 
as follows:

   isabelle-dev = 
ssh://wenzelm@isabelle.in.tum.de//p/home/isabelle-repository/repos/isabelle


Here is a proof that it works: 
https://isabelle.in.tum.de/repos/isabelle/rev/4041e7c8059d


	Makarius