[isabelle-dev] Permission denied

Makarius makarius at sketis.net
Mon Dec 10 16:33:49 CET 2012

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/isabelle-dev@mailbroy.informatik.tu-muenchen.de/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 


More information about the isabelle-dev mailing list