repeated build failures

Lawrence Paulson lp15 at cam.ac.uk
Sat Sep 19 12:40:17 CEST 2026

Previous message (by thread): HOL-Computational_Algebra
Next message (by thread): repeated build failures
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

There’s a markup error in "~~/src/HOL/SMT_CVC_Real.thy”. It’s been there for quite a while. Does anybody know who is in charge of this? 

Larry

Previous message (by thread): HOL-Computational_Algebra
Next message (by thread): repeated build failures
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list