zombie proof processes

[Makarius]

>> On 27 Nov 2025, at 15:32, Makarius <makarius at sketis.net> wrote:
>>
>> It still sounds like a serious problem, and I am still busy elsewhere. We do need proper empirical proof / reproducible examples to sort it out.
On 27/11/2025 16:37, Lawrence Paulson wrote:
 > Right now I am running sledgehammer almost continuously and they are not 
showing up. I'm afraid it's just weird.

Did any other user of macOS 26 see veriT processes hanging around recently?

This question *is* relevant for the Isabelle2025-1 release, because macOS 26 
is officially supported by it.


	Makarius