[isabelle-dev] Sum_of_Squares_Remote failure

Gerwin Klein Gerwin.Klein at nicta.com.au
Thu Aug 8 13:54:28 CEST 2013

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


On 07/08/2013, at 3:21 PM, Makarius <makarius at sketis.net> wrote:

> The remote Sum_of_Squares tests keeps failing (for about one week already, today we are at 45678f8e7a0f).
> Is there a maintainer for that?
> One could also think about abondoning the server and using a local version of the tool, wrapped up as Isabelle component in the way that is now standard. (It is also some work to maintain that, of course.)
>       Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list