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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
