[isabelle-dev] LRZ outage

Lars Hupel hupel at in.tum.de
Mon Jun 25 16:19:39 CEST 2018


Dear users of the LRZ servers,

there appear to be some network and/or capacity problems at LRZ right
now, which is also why the "nightly" job failed just now. I hope this
will be resolved soon.

Cheers
Lars


More information about the isabelle-dev mailing list