[isabelle-dev] Homology

Makarius 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
release train.


	Makarius



More information about the isabelle-dev mailing list