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