On Mon, 10 Dec 2012, Jasmin Blanchette wrote:
Am 10.12.2012 um 15:28 schrieb Makarius:
See also this old thread:
http://www.mail-archive.com/[email protected]/msg03001.html
Interesting. Unfortunately, I get the same errors with macbroy20, 21,
22, 23...
After the update these machines have very new Mercurial 2.4, so it could
be a communication problem with your local Mercurial and the version that
it runs via ssh.
How is the situation with lxbroy10 or simular (which can only be accessed
locally).
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
