[isabelle-dev] Word Libraries

[Makarius]

On 11/08/2021 00:45, Gerwin Klein wrote:
> 
>> On 11 Aug 2021, at 01:34, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> 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