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.) Makarius