[isabelle-dev] Unable to push to Isabelle reop

Lars Noschinski noschinl at in.tum.de
Sun Aug 19 05:53:40 CEST 2012

On 16.08.2012 15:23, Florian Haftmann wrote:
> Host nfsbroy
> HostName macbroy20.informatik.tu-muenchen.de
> User haftmann
> ForwardAgent yes
> ForwardX11 yes
> I now even got used to pretend that »nfsbroy« is a really existing
> machine with the typical nfs mountpoints.

While I second that advice, I would choose a hostname which does not 
point to a really existing machine ;)

   -- Lars

More information about the isabelle-dev mailing list