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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev