[isabelle-dev] Towards Isabelle2019-RC1

Makarius makarius at sketis.net
Mon Apr 29 16:58:55 CEST 2019

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


More information about the isabelle-dev mailing list