[isabelle-dev] Sum_of_Squares_Remote failure

Makarius makarius at sketis.net
Thu Aug 8 14:37:14 CEST 2013


On Thu, 8 Aug 2013, Gerwin Klein wrote:

> Tobias and I just tried from a laptop on version 41ebc19276ea, which 
> seems to work fine. Has somebody fixed it in the meantime?

I did not do anything, not even look what is/was wrong.

It seems that isatest was successful today, but we've had some fluctuation 
before -- slightly different errors from isatest one day or the other, and 
some successful runs.


 	Makarius



More information about the isabelle-dev mailing list