makarius at sketis.net
Tue Apr 9 12:26:36 CEST 2019
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
More information about the isabelle-dev