[isabelle-dev] Towards Isabelle2018-RC1

Makarius makarius at sketis.net
Mon Jul 2 14:19:17 CEST 2018

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.


More information about the isabelle-dev mailing list