
<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><br class="Apple-interchange-newline">

</div>

<div><br><blockquote type="cite"><div>On 24. Jul 2024, at 15:28, Lawrence Paulson <lp15@cam.ac.uk> wrote:</div><br class="Apple-interchange-newline"><div><div>On my M2 machine I get this:<br><br><blockquote type="cite">Apple clang version 15.0.0 (clang-1500.3.9.4)<br>Target: arm64-apple-darwin23.5.0<br>Thread model: posix<br>InstalledDir: /Library/Developer/CommandLineTools/usr/bin<br></blockquote></div></div></blockquote><div><br></div><div>Can you please try if the problem is already present in plain Isabelle2024 + AFP 2024, not the development versions.</div><div><br></div><div>There is at least one commit in the development version that could have changed the behaviour:</div><div><a href="https://isabelle-dev.sketis.net/rAFPb626e627c3cb280b4fb609d9ebebe1e905930f83">https://isabelle-dev.sketis.net/rAFPb626e627c3cb280b4fb609d9ebebe1e905930f83</a></div><div><br></div></div><br></body></html>