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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
