[isabelle-dev] Sum_of_Squares_Remote failure

Makarius makarius at sketis.net
Wed Aug 7 15:21:12 CEST 2013

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.)


More information about the isabelle-dev mailing list