Email Gateway (Aug 22 2022 at 19:50): Email Gateway (Aug 22 2022 at 19:50):From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>
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.
Cheers,
Gerwin
Last updated: Apr 19 2024 at 08:19 UTC