Stream: Mirror: Isabelle Development Mailing List

Topic: Builds keep failing

view this post on Zulip Email Gateway (Apr 29 2025 at 10:49):

From: Lawrence Paulson via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
… With the error "Value or constructor (string_of_goal) has not been declared in structure Goal_Display”

This looks easy to fix, isn't it?

Larry

view this post on Zulip Email Gateway (Apr 29 2025 at 11:23):

From: Makarius <makarius@sketis.net>
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

Last updated: May 31 2025 at 01:44 UTC