[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.
More information about the isabelle-dev