[isabelle-dev] Towards the Isabelle2017 release

Makarius makarius at sketis.net
Mon Aug 28 14:15:05 CEST 2017

On 24/08/17 17:40, Florian Haftmann wrote:
> Hence that change should be fine if someone is willing to undertake it
> before the RC stabilization phase.

We are already in stabilization phase for some weeks. There are a few
days left until Isabelle2017-RC1 (presumably on 03-Sep-2017) to make
small additions and do some fine tuning.

After the Isabelle2017-RC1 there will be the usual 4-6 weeks to sort out
genuine problems only, notably ones that have been newly introduced
since the last release.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170828/cdef9939/attachment.sig>

More information about the isabelle-dev mailing list