Re: [isabelle] Isabelle2021-1-RC4 and afp-2021-1 available for applications (early adopters)
Simon just has fixed a regression introduced into
AFP/Refine_Imperative_HOL, by enforcing context discipline, but not
fixing all places where this new behaviour caused errors.
@Simon: can you submit the patch ASAP?
On Fri, 2021-11-26 at 21:14 +0100, Makarius wrote:
> we now have the pre-final release candidate
> https://isabelle.sketis.net/website-Isabelle2021-1-RC4 and AFP has
> also moved
> to official ssh://hg at foss.heptapod.net/isa-afp/afp-2021-1
This archive was generated by a fusion of
Pipermail (Mailman edition) and