[isabelle-dev] Towards the Isabelle2017 release

Makarius makarius at sketis.net
Sun Sep 3 12:06:15 CEST 2017

On 21/08/17 20:24, Makarius wrote:
> The first official release candidate Isabelle2017-RC1 is anticipated for
> 2/3-Sep-2017, that is a bit less than 2 weeks from now.
> That is also the deadline for any significant additions.

That is today. I will publish Isabelle2017-RC1 within a few hours.

The isabelle-dev repository remains open for 3 more days. Afterwards it
forks to https://bitbucket.org/isabelle_project/isabelle-release and
further changes (really important ones!) need to be sent to me via email.


More information about the isabelle-dev mailing list