[isabelle-dev] Access problems to repositories and NFS

Tobias Nipkow nipkow at in.tum.de
Tue Apr 11 16:48:03 CEST 2017

On 11/04/2017 16:17, 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 hope that this is just a temporary workaround (famous last words, I
>> know ...).
> Thanks for taking care of this.
> I noticed a problem with lxbroy10 on Sunday evening and only sent a
> short notice to the TUM admin group (without getting a reaction so far).
> With more and more resources removed from this group, problems are to be
> expected. They are doing there best, but we definitely feel the natural
> consequences of the global "austerity policy".

Since Manfred Broy retired the resources he provided are not available anymore, 
not because of some evil austerity policy but because they went back to where 
they came from, the department, or because they were external funds to start with.


> I hope we get back on lxbroy10 soon.
> 	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/20170411/8c49f4d8/attachment.bin>

More information about the isabelle-dev mailing list