I still want to take care of two really tiny things: the "subseq" situation and the proper printing of "nat" values as numerals instead of successor notation.
Just mentioning that for the sake of completeness. Manuel On 2017-07-05 21:04, Makarius wrote: > 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
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev