[isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
makarius at sketis.net
Sun Aug 6 22:00:55 CEST 2023
On 25/07/2023 15:11, Makarius wrote:
> Isabelle2023-RC2 is planned for Wednesday 26-Jul-2023. This is the last chance
> to sort out minor things for it, especially NEWS and CONTRIBUTORS.
> On Friday 28-Jul-2023, I will travel to Warsaw and attend ITP 2023 in
> Bialystok next week.
I am now back from Warsaw and Białystok, where I have learned the proper
Polish spelling of the name (and the pronunciation). I have also learned about
local dishes in the Babka restaurant at the city center (Polish, Russian,
Belarussian, Ukrainian, Lithunian), and the very interesting beverage of
Kvass, e.g. in this Lithunian variety (thick and sweet):
Back in wet and cold Bavaria, it is now time to pick up all open threads, and
target at Isabelle2023-RC3 on 09..10-Aug-2023. That will also be the fork
point of the isabelle-dev vs. isabelle-release repository.
Afterwards, isabelle-dev will in principle be ready for anything intended for
the next release after Isabelle2023, but bigger changes need to wait for the
corresponding AFP release and fork-point.
> What is the schedule for the corresponding AFP release?
My guess: we will see another 3-5 weeks delay for no particular reason.
Such things could be done concurrently, e.g. with Isabelle RC1 or RC2.
More information about the isabelle-dev