On 11/04/17 09:34, Lars Hupel wrote: > > 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 ...).
lxbroy10 is back to normal, see the proof http://isabelle.in.tum.de/repos/isabelle/rev/f3cd78ba687c Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev