Final notice: release snapshot of Isabelle2025-1 tomorrow

[Makarius]

On 16/12/2025 22:35, Makarius wrote:
> This is the last notice concerning the final release of Isabelle2025-1: RC4 
> turned out a pretty good approximation, so everything is ready for liftoff, 
> tomorrow 17-Dec-2025 approx. 11:00 Royal Bavarian Time.
> 
> It takes several hours to build everything, and afterwards 1-2 days until all 
> mirrors are up-to-date. Then the announcement can be published on isabelle-users.
Everything is finished already, see 
https://sketis.net/2025/release-candidates-for-isabelle2025-1 for the final 
wrap-up. We are still waiting for the mirror Potsdam, NY --- it should be 
ready tomorrow.


The tentative schedule for Isabelle2026 (October 2026) is already here: 
https://sketis.net/2025/plan-for-isabelle2026-october-2026 --- 10 months after 
the current release. Earlier is not possible due to the summer vacation and 
FLoC/ITP right before it. That shall be also the "40 Years Release", and needs 
special attention.


	Makarius