For sure. The work is very welcome, but too drastic to undertake at this 
precise moment.

> On 28 Aug 2017, at 13:08, Makarius <> wrote:
> Nothing of this is relevant for the Isabelle2017 release. When the "RC"
> versions show up, it is time to finish and not to start new things.

isabelle-dev mailing list

Reply via email to