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