[isabelle-dev] Towards Isabelle2019-RC2 and isabelle-release fork

Makarius makarius at sketis.net
Sat May 11 15:50:18 CEST 2019


On 11/05/2019 15:17, Makarius wrote:
> 
> I have started working on this: presumably, Isabelle2019-RC2 will be
> current Isabelle/efbdfcaa6258 + AFP/2170a6647f04.

Update: Isabelle2019-RC2 = Isabelle/805250bb7363.


	Makarius


More information about the isabelle-dev mailing list