Support for the Isabelle release process.
Main repository fork: [https://isabelle.sketis.net/repos/isabelle-release|https://isabelle.sketis.net/repos/isabelle-release] (read-only).
The next anticipated release is **Isabelle2020 (June 2020)**. The hot phase with release candidates will presumably be Apr/May/Jun-2020. Everything needs to be finished and published before IJCAR 2020 in Paris.