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

Lawrence Paulson lp15 at cam.ac.uk
Tue Mar 19 22:10:32 CET 2024

I can’t do that, because I have no way of logging into lxbroy10

> On 19 Mar 2024, at 21:04, Makarius <makarius at sketis.net> 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

More information about the isabelle-dev mailing list