[isabelle-dev] Isabelle2023-RC3 release fork today

Makarius makarius at sketis.net
Thu Aug 10 11:27:09 CEST 2023

On 10/08/2023 11:11, Lawrence Paulson wrote:
> And routine material can be pushed as normal?

After the fork of Isabelle2023-RC3, and only if it does not break afp-devel. 
(Gerwin said the AFP fork would be 1 week later.)


More information about the isabelle-dev mailing list