[isabelle-dev] The coming release of Isabelle2017

Makarius makarius at sketis.net
Wed Jul 5 22:04:33 CEST 2017

Dear all,

we are now almost 7 months after Isabelle2016-1 (December 2016).
Following the standard schedule, the Isabelle2017 release should appear
at the start of October 2017.

During the last 3 weeks in July, I will be in Cambridge. That is also a
possibility to show me old and new problems in my areas of
responsibility. Afterwards, I want to finish the reform of
session-qualified theory names, and put Isabelle/VSCode into shape for
its 1.0  release.

Is there anything else to take into account for this late-summer release

It is important to recall that the deadline for significant changes is
actually 6 weeks before the final lift-off, i.e. at the point where the
fork of isabelle-dev and isabelle-release repositories happens.


More information about the isabelle-dev mailing list