Thanks! Gerwin > On 23 May 2019, at 05:27, Lars Hupel <[email protected]> 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
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
