Support for the Isabelle release process, see also the [[https://isabelle-dev.sketis.net/phame/blog/view/2|blog]].
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 [[https://ijcar2020.org|IJCAR 2020]] in Paris.