repeated build failures

[Makarius]

On 19/09/2026 12:40, Lawrence Paulson via isabelle-dev wrote:
> 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?

For such document failures, anybody is in charge who clearly understands the 
problem (which is trivial). See now:

changeset:   85640:9db2120d1f68user:        wenzelm
date:        Sat Sep 19 15:34:41 2026 +0200
files:       src/HOL/SMT_CVC_Real.thy
description:
proper document antiquotations for quasi-formal text (amending 2d8973a32588);


	Makarius