Isabelle2025-1-RC0 available for experimentation

[Makarius]

Dear Isabelle users,

2025 is a year with two Isabelle releases: after Isabelle2025 (March 2025) 
there will be Isabelle2025-1 (December 2025). See the blog entry 
https://sketis.net/2025/release-candidates-for-isabelle2025-1 for 
documentation of the ongoing release process.

Approx. 4 weeks before the first release candidate, there is now an informal 
snapshot for early experimentation: 
https://isabelle.in.tum.de/website-Isabelle2025-1-RC0

This opens a window of opportunity to provide feedback, until the final 
release becomes unchangeable (approx. 15-Dec-2025). As usual, feedback 
messages should use a proper Subject line and not just a clone of this 
announcement.


	Makarius