I suspect that the csdp server may be unreachable at times. Tobias
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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
