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