[isabelle-dev] Towards Isabelle2018-RC1

Lars Hupel hupel at in.tum.de
Mon Jul 2 14:35:13 CEST 2018

> I will produce Isabelle2018-RC1 later today, maybe in approx. 3h.
> For that I also need a version of AFP that works.

According to <https://devel.isa-afp.org/status.html>, the latest
known-good version (except for the "slow" sessions) is


More information about the isabelle-dev mailing list