Dear developers,it appears that there is a large-scale LRZ outage. The following services are affected:
- AFP submission service - AFP slow testsas well as other machines used privately by various people that are hosted in the Compute Cloud.
I will update as soon as service resumes. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev