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

> On 28 Aug 2017, at 13:08, Makarius <makar...@sketis.net> 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
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to