[isabelle-dev] Permission denied

[Makarius]

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 
locally).


 	Makarius