[isabelle-dev] Complete Distributive Lattice
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