[isabelle-dev] Complete Distributive Lattice

[Makarius]

On 28/08/17 20:26, Viorel Preoteasa wrote:
> OK, I understand, what is the time frame for going back to normal?

This is hard to say, since official Isabelle2017-RC1 is not even there
yet, but it is planned for Sun 03-Sep-2017.

The final lift off will probably take 6 weeks from Isabelle2017-RC1, but
it also depends a lot on the participation of users testing the RC chain.


	Makarius