The Isabelle2019 release process will start officially with Isabelle2019-RC1, which is planned for the end of this week (probably on Fri 03-May-2019). There are a few days left to wrap-up and polish things. It is also important to keep an eye on afp-devel: it should work properly with such a published release candidate.
After Isabelle2019-RC1 the Isabelle repository still remains open for some time until Isabelle2019-RC2, the latter will be a fork into isabelle-release and isabelle-dev (post-release). I am presently busy to finalize two papers: the deadline is also the end of the week, so https://isabelle.in.tum.de/website-Isabelle2019-RC1 will be relevant as a reasonably stable approximation for the forthcoming Isabelle2019. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
