On 10/02/2020 22:51, Makarius wrote:
> On 10/02/2020 21:05, Makarius wrote:
>
> 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.)
There has been quite some incoming material already (presently
Isabelle/22158ebde77f).
Looking through the Mercurial history since Isabelle2019, I see a few more
candidates:
* Various people reworking Analysis (including split into two sessions).
This deserves coverage in NEWS and CONTRIBUTORS.
* Material by Sébastien Gouëzel in Analysis (Isabelle/4e39d87c9737).
* Session HOL-ex: Takeuchi's function (Isabelle/8406a2c296e0).
* Various changes to sledgehammer.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
