[isabelle-dev] LRZ outage

[Lars Hupel]

Dear developers,

it appears that there is a large-scale LRZ outage. The following 
services are affected:

- AFP submission service
- AFP slow tests

as 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