[isabelle-dev] Towards the Isabelle2017 release
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