[isabelle-dev] afp-2019 fork on Fri

[Lars Hupel]

> 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.