[isabelle-dev] Isabelle2019 release fork point

Lars Hupel hupel at in.tum.de
Wed May 22 21:27:20 CEST 2019

> 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 mailing list