[isabelle-dev] LRZ outage

Lars Hupel hupel at in.tum.de
Sun Aug 12 14:10:18 CEST 2018


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


More information about the isabelle-dev mailing list