Support for the Isabelle release process.
Main repository fork (read-only): https://isabelle.sketis.net/repos/isabelle-release
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.