On 12/04/2017 14:29, Makarius wrote:
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
Indeed it is, thanks to the invaluable help of Franz Huber. However, he spoke of a workaround when he notified us and wasn't 100% certain it works reliably. I felt we should wait a few more days before we move the repo back, but I am easy either way.
Tobias
Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev