On 26/06/18 20:05, Makarius wrote: > This is a reminder that the official Isabelle2018-RC1 snapshot is about > to emerge within a few days (around 01-Jul-2018). The isabelle-dev > repository fork will *not* happen yet: everyone is called to consolidate > before and after the Isabelle2018-RC1 checkpoint with robustness and > stability in mind.
I will produce Isabelle2018-RC1 later today, maybe in approx. 3h. For that I also need a version of AFP that works. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev