> This is the proper season to start thinking about the coming release.
> We still have a few weeks ahead to consolidate in the usual way. I guess
> there will be a public Isabelle2016-RC0 just before Christmas or before
> New Year, to give people a chance to test it during the holidays.
>
> Are
This is the proper season to start thinking about the coming release. We
still have a few weeks ahead to consolidate in the usual way. I guess
there will be a public Isabelle2016-RC0 just before Christmas or before
New Year, to give people a chance to test it during the holidays.
In the