Tobias and I just tried from a laptop on version 41ebc19276ea, which seems to work fine. Has somebody fixed it in the meantime?
Gerwin On 07/08/2013, at 3:21 PM, Makarius <[email protected]> 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 > [email protected] > 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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
