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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
