[isabelle-dev] Repository Trouble

Lawrence Paulson lp15 at cam.ac.uk
Tue Dec 25 20:33:34 CET 2012


A very impressive analysis. Thanks.
Larry

On 25 Dec 2012, at 10:38, Alexander Krauss <krauss at in.tum.de> wrote:

> I would say that this points to the SUSE NFS client driver as the source of the problem. If we use lxbroy10 exclusively for pushes, we should be safe until the issue is fixed.




More information about the isabelle-dev mailing list