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 are almost finished already)?
Now is also a good time to check what has been done recently, and fill it into
NEWS and CONTRIBUTORS.
(We have overall relatively little to say this time, because I have spent so
much time at the bottom of the inference kernel and PIDE sessions.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
