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

Makarius makarius at sketis.net
Tue Mar 19 22:04:29 CET 2024


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




More information about the isabelle-dev mailing list