[isabelle-dev] Sum_of_Squares_Remote failure

Tobias Nipkow nipkow at in.tum.de
Thu Aug 8 17:24:03 CEST 2013

I suspect that the csdp server may be unreachable at times.


Am 08/08/2013 14:37, schrieb Makarius:
> 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
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list