Isabelle2025-1-RC0 available for experimentation

[Makarius]

On 07/10/2025 20:25, Makarius wrote:
> 
> 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
A few more explanations on the meaning of RC0:

   * It is merely a preview of the accidental situation approx. 4 weeks before 
RC1, which is the first regular release candidate.

   * It is a reminder that the release process is about to start soon.

   * It is high time to wrap up, whatever is still pending and relevant for 
the release. (I have myself many lose ends to close for RC1/RC2, but some will 
probably be postponed to a later release.)

   * It is not a good time to come up with new things for a later release.


	Makarius