On 09/04/2019 12:14, Lawrence Paulson wrote:
>
> An alternative may be to break up Analysis into several modules, though I
> don’t see how that can be done in time for the next release.
There are approx. 3 weeks left until official Isabelle2019-RC1, so
whatever happens here needs to be finished by then.
Then there will be 6 weeks for final polishing + an optional 7th week.
Afterwards I will be on travel, so this is a fixed timetable for the
release train.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
