<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="+1">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.</font></p>
<p><font size="+1">Just mentioning that for the sake of completeness.</font></p>
<p><font size="+1">Manuel<br>
</font></p>
<br>
<div class="moz-cite-prefix">On 2017-07-05 21:04, Makarius wrote:<br>
</div>
<blockquote type="cite"
cite="mid:8f3c7774-086f-0f75-eb28-c42549a233cb@sketis.net">
<pre wrap="">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
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>