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