[isabelle-dev] Towards the Isabelle2018 release

Makarius makarius at sketis.net
Thu May 3 11:30:31 CEST 2018

We need to start thinking of the coming Isabelle2018.

Counting 10 months forwards from Isabelle2017, it should be published in
the first half of Aug-2018.

Counting 6 weeks backwards and taking FLoC/ITP into account,
Isabelle2018-RC1 should appear shortly before 01-Jul-2018.

I will probably make Isabelle2018-RC0 as informal test in June, although
interested people can test
https://isabelle.sketis.net/devel/release_snapshot every day. (There are
still many Windows/Cygwin components that don't work, due to the change
to Cygwin64.)


More information about the isabelle-dev mailing list