On Thu, 23 Jul 2015, Larry Paulson wrote:
I pushed some changes on Monday, and although they seemed to go okay, I
was looking out for problems. But I don’t know what this one signifies.
Begin forwarded message:
From: Account Isatest isat...@lxbroy10.informatik.tu-muenchen.de
Subject:
I pushed some changes on Monday, and although they seemed to go okay, I was
looking out for problems. But I don’t know what this one signifies.
Larry
Begin forwarded message:
From: Account Isatest isat...@lxbroy10.informatik.tu-muenchen.de
Subject: isabelle dist build failed
Date: 22 July