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 2015 23:56:57 BST > To: l...@cam.ac.uk > > Could not build isabelle distribution. Log file available at > lxbroy10:/home/isatest/log/isatest-makedist-2015-07-23.log _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev