[isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository

[Makarius]

On 18/04/2024 16:12, Makarius wrote:
> 
> Note that I am myself still busy with Isabelle2024: some documentation and 
> final tuning for the distributed "isabelle build" is still missing.

I have now added notable TODO items to the blog post: 
https://isabelle-dev.sketis.net/phame/post/view/76/release_candidates_for_isabelle2024


	Makarius