Dear Isabelle developers and users, our provider for some of our VMs has announced a scheduled maintenance, lasting from November 8 to November 11.
The following parts of our infrastructure will be disrupted: - AFP submission service - "nightly slow" builds Since we're in the release phase anyway, I don't think missing "nightly slow" builds are a problem. Everyone who considers submitting an AFP entry, please hold off until at least November 12. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
