On 08/09/17 11:13, Makarius wrote: > The all-important release fork will happen today in the evening.
That is now! Within the next hour there should not be any pushes to http://isabelle.in.tum.de/repos/isabelle in order to avoid confusion about the two branches. I will come back a bit later with clear identification of both branches, as well as an official Isabelle2017-RC2. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev