[isabelle-dev] Fwd: isabelle dist build failed

[Larry Paulson]

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" <isatest at lxbroy10.informatik.tu-muenchen.de>
> Subject: isabelle dist build failed
> Date: 22 July 2015 23:56:57 BST
> To: lp15 at cam.ac.uk
> 
> Could not build isabelle distribution. Log file available at
> lxbroy10:/home/isatest/log/isatest-makedist-2015-07-23.log