[isabelle-dev] afp-2019 fork on Fri

Lars Hupel hupel at in.tum.de
Wed May 15 14:46:31 CEST 2019

> Since the Isabelle release process is converging, the AFP will follow suit soon and fork a 2019 release branch Fri this week.
> Changes brought in before the fork will appear together with all current afp development version content on the AFP release website when the 2019 release is out.
> Changes pushed after the fork will go to the development version of the AFP and not appear in the 2019 AFP release yet.

Accordingly I have shut down the submission system. New submissions
should be prepared with the upcoming 2019 release. The system will come
back up some time next week, presumably using RC2.

More information about the isabelle-dev mailing list