On 29/04/2025 12:48, Lawrence Paulson via isabelle-dev wrote: > … With the error "Value or constructor (string_of_goal) has not been declared in structure Goal_Display” Oops, I've forgotten to push some local changes. See now AFP/022cb76fe2b4. Makarius