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