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

Reply via email to