[isabelle-dev] Access problems to repositories and NFS

Tobias Nipkow nipkow at in.tum.de
Wed Apr 12 14:34:55 CEST 2017

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.


> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5135 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170412/d12ceb84/attachment.bin>

More information about the isabelle-dev mailing list