On 10/02/2020 21:05, Makarius wrote:
>
> Looking briefly through the calendar, we can probably make it in the 6 weeks
> from 01-Mar-2020 (Isabelle2020-RC1) to 15-Apr-2020 (Isabelle2020 final).
>
>
> Are there other side-conditions? E.g. pending things that need to get into the
> release (and
Dear observers of the isabelle-dev process,
in the past few years there have been occasional discussions and proposals
about "nice-to-have features" or other improvements.
This is an opportunity to post reminders (privately or publicly), preferably
with pointers to the mailing list archive
Dear participants of the Isabelle release process,
our general scheme is to have a proper stable release every 8-10 months -- in
recent years we've had 10 months most of the time, and that worked quite well.
I have just realized that Isabelle2019 was a actually released on 01-Jun-2019,
so my