[isabelle-dev] Homology

[Makarius]

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