[isabelle-dev] Sum_of_Squares_Remote failure

[Makarius]

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