[isabelle-dev] Towards the Isabelle2017 release
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...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev