[isabelle-dev] Permission denied
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:
> 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