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.


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to