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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
