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

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

Previous message (by thread): [isabelle-dev] Towards Isabelle2019-RC2 and isabelle-release fork
Next message (by thread): [isabelle-dev] Isabelle2019 release fork point
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] Towards Isabelle2019-RC2 and isabelle-release fork
Next message (by thread): [isabelle-dev] Isabelle2019 release fork point
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list