I was instructed to inform this list that the LRZ cloud will be down until Friday (presumably).
This affects the isabelle-nightly-slow job. Manuel _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
