[isabelle-dev] Sum_of_Squares_Remote failure
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.
More information about the isabelle-dev