Towards Isabelle2025-1-RC1

[Makarius]

On 03/11/2025 19:47, Makarius wrote:
> On 27/10/2025 10:57, Makarius wrote:
>> This is a reminder that we are heading towards Isabelle2025-1-RC1, which is 
>> scheduled for next week. The plan says 03-Nov-2025, but it might turn out 
>> 1-2 days later (not more).
> 
> The plan is to do it on Wed 12-Nov-2025 approx. 11:00 RBT (Royal Bavarian Time).

I've started the Admin/build_release at 12:00 and it required many hours, 
until now. We have tons of great material, and many platforms ...

Presently, the isabelle-dev repository is still for the Isabelle2025-1 
release. The disengagement and fork to 
https://isabelle.sketis.net/repos/isabelle-release will happen for RC2 or RC3, 
depending how fast AFP gets ready for release (hopefully in the same calendar 
year).


	Makarius