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

[Lawrence Paulson]

I’d rather wait until it’s working again the normal way. One can get into enough of a muddle with Mercurial as it is. 

Larry

> On 4 Aug 2024, at 17:04, Makarius <makarius at sketis.net> wrote:
> 
> 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