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

Lawrence Paulson lp15 at cam.ac.uk
Tue Mar 19 12:50:27 CET 2024

Previous message (by thread): [isabelle-dev] Something wrong with lxbroy10.informatik.tu-muenchen.de?
Next message (by thread): [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Are others able to reach this machine and use Mercurial as usual? 

Larry

Previous message (by thread): [isabelle-dev] Something wrong with lxbroy10.informatik.tu-muenchen.de?
Next message (by thread): [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list