[isabelle-dev] Sum_of_Squares_Remote failure
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.)
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
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