[isabelle-dev] Isabelle2019 release fork point

[Klein, Gerwin (Data61, Kensington NSW)]

Thanks!
Gerwin

> On 23 May 2019, at 05:27, Lars Hupel <hupel at in.tum.de> wrote:
> 
>> We could even re-open the submission website for entries against Isabelle2019-RC2, which the editors would add to the afp-2019 branch of the repository, but would not fully publish yet (they’ll appear with the full Isabelle2019 release). Depending on how hard that is to set up.
> 
> Submission is now re-enabled, using 2019-RC2.
> 
> Cheers
> Lars