Towards Isabelle2025-RC2

[Gerwin Klein]

Thanks this looks fine. The last build seems to have failed, but not on your sessions.

Cheers,
Gerwin

> On 13 Feb 2025, at 07:56, Burkhart Wolff <burkhart.wolff at universite-paris-saclay.fr> wrote:
> 
> Dear Gerwin,
> 
> We updated the four Sessions 
> - HOL-CSP
> - HOL-CSPM
> - CSP_RefTK
> - HOL-CSP_OpSem
> 
> Additionally, we changed the meta-data for the HOL-CSP session:
> Benoit Ballenghien became co-autor.
> 
> I hope this will not produce any problems.
> Apparently, this will be updated tomorrow.
> 
> Best regards,
> 
> Burkhart
> 
>> On 10 Feb 2025, at 16: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
>> 
>