[isabelle-dev] Fwd: isabelle dist build failed

Larry Paulson lp15 at cam.ac.uk
Thu Jul 23 12:32:47 CEST 2015

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" <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

More information about the isabelle-dev mailing list