Email Gateway (Feb 09 2025 at 11:04): Email Gateway (Feb 09 2025 at 11:04):From: Makarius <makarius@sketis.net>
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.
Makarius
Email Gateway (Feb 09 2025 at 22:09):From: Gerwin Klein via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
On 9 Feb 2025, at 22:02, Makarius <makarius@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
Email Gateway (Feb 09 2025 at 22:14):From: Gerwin Klein via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
On 9 Feb 2025, at 22:02, Makarius <makarius@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
Email Gateway (Feb 10 2025 at 21:06):From: Gerwin Klein via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
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@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@mailman.proof.cit.tum.de> wrote:
On 9 Feb 2025, at 22:02, Makarius <makarius@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
Email Gateway (Feb 12 2025 at 22:20):From: Gerwin Klein via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
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@universite-paris-saclay.fr> wrote:
Dear Gerwin,
We updated the four Sessions
- HOL-CSP
- HOL-CSPM
- CSP_RefTK
- HOL-CSP_OpSemAdditionally, 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@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@mailman.proof.cit.tum.de> wrote:
On 9 Feb 2025, at 22:02, Makarius <makarius@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
Last updated: Apr 18 2025 at 20:21 UTC