Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenc...

Email Gateway (Mar 19 2024 at 11:51):

From: Lawrence Paulson <lp15@cam.ac.uk>
Are others able to reach this machine and use Mercurial as usual?

Larry

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Apr 28 2024 at 08:19 UTC