On 11/08/2021 00:45, Gerwin Klein wrote:
>
>> On 11 Aug 2021, at 01:34, Florian Haftmann
>> <[email protected]> wrote:
>
>> The changes are by no means as invasive as for the last Isabelle
>> release, but you might check your existing applications against before
>> the upcoming release – there is still time for corrections and improvements.
>
> As you know, it's a bit of work to check that for l4v, esp since it is still
> on Isabelle2020 (no real issues, mostly organisational upheavals have taken
> up all available attention). It will take a while, but it looks like it will
> break in the usually hopefully small ways.
Side-remark: 2021 is a year of 2 Isabelle releases. So maybe you manage to
catch up for Isabelle2021-1 (December 2021). The release process will start
approx. 01-Nov-2021 and finish 15-Dec-2021.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
