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.
Tobias
I hope we get back on lxbroy10 soon.
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
