[isabelle-dev] Complete Distributive Lattice

Makarius makarius at sketis.net
Mon Aug 28 20:57:20 CEST 2017

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.


More information about the isabelle-dev mailing list