[isabelle-dev] afp-2019 fork on Fri

Klein, Gerwin (Data61, Kensington NSW) Gerwin.Klein at data61.csiro.au
Tue May 14 09:04:19 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.


More information about the isabelle-dev mailing list