> Until the problems with lxbroy10 are resolved, please try lxbroy9 or > lxbroy8 as login nodes. The Isabelle repository should be available > there too.
This appears to only give read access, not write access. In order to keep going with development, I've created a temporary clone on Bitbucket: <https://bitbucket.org/larsrh/isabelle-tmp> I'm in the process of inviting people to that clone so they can keep working. I'll also update the URLs in Jenkins shortly. If you need to push but I forgot to add you, please mail me your Bitbucket user name and I'll add you ASAP. I hope that this is just a temporary workaround (famous last words, I know ...). Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
