Towards Isabelle2025-RC2

[Gerwin Klein]

Hi Burkhart,

Yes, the by the end of 12 Feb is still fine, I haven’t forked yet and can wait for a day.

Cheers,
Gerwin 

> On 11 Feb 2025, at 02:25, Burkhart Wolff <burkhart.wolff at universite-paris-saclay.fr> wrote:
> 
> Hi Gerwin,
> 
> Is it still possible to update the AFP dev (in particular HOL-CSP, HOL-CSPM, HOL-Opsem)
> Tomorrow night ?
> 
> It would help us a lot if we can push the current status of our development such we can get it 
> In AFP25. Subsequent modules depend substantially on a changed interface.
> 
> Sorry for the slight delay.
> 
> Best 
> 
> Bu
> 
>> On 9 Feb 2025, at 23:08, Gerwin Klein via isabelle-dev <isabelle-dev at mailman.proof.cit.tum.de> wrote:
>> 
>> 
>> 
>>> On 9 Feb 2025, at 22:02, Makarius <makarius at sketis.net> wrote:
>>> 
>>> The Isabelle release train continues with the next release candidate: I will make the snapshot from the isabelle-dev repository on Mon 10-Feb-2025 11:00 (Bavarian time).
>>> 
>>> This is no repository fork yet --- I am mostly waiting for AFP to join the release process.
>> 
>> The AFP tends to fork very late, I was planning to start when RC2 is out.
>> 
>> Cheers,
>> Gerwin
>