[isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de

Manuel Eberl manuel at pruvisto.org
Tue Mar 19 22:07:46 CET 2024

For me that the SSH access works fine, but the HTTP access times out.


On 19/03/2024 22:04, Makarius wrote:
> On 19/03/2024 12:50, Lawrence Paulson wrote:
>> Are others able to reach this machine and use Mercurial as usual?
> It looks fine for me, but I think I had to tinker with the ssh setup a 
> few days ago: like resetting the entry for lxbroy10 in ~/.ssh/known_hosts
>     Makarius
> _______________________________________________
> 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