[isabelle-dev] Isabelle2019 release fork point

Klein, Gerwin (Data61, Kensington NSW) Gerwin.Klein at data61.csiro.au
Thu May 23 12:12:34 CEST 2019


> 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

More information about the isabelle-dev mailing list