<div dir='auto'>I've, very rarely, some zombie atp processes keeping my CPU nice and warm, and my battery draining (on Linux). I typically just kill them manually.<div dir="auto"><br></div><div dir="auto">Peter </div></div><div class="gmail_extra"><br><div class="gmail_quote">On 6 Nov 2025 20:18, Makarius <makarius@sketis.net> wrote:<br type="attribution" /><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">On 06/11/2025 19:50, Manuel Eberl wrote: <br>
> When I taught the Concrete Semantics course in Innsbruck this summer a lot of  <br>
> my students had this problem on Windows, often to the extent that they had to  <br>
> frequently reboot their laptops because they would be rendered unusable. I  <br>
> don't remember whether it was Isabelle 2024 or 2025 that caused that issue  <br>
> though. <br>
<br>
Yes, that was due to E Prover, mostly in Isabelle2024. For Isabelle2025 we've  <br>
had this NEWS item: <br>
<br>
   - Update of bundled provers: <br>
       . E 3.1 -- with patch on Windows/Cygwin for proper interrupts <br>
<br>
It was due to bad project management on the side of Stephan Schulz: He had  <br>
accepted patches without looking closely enough. <br>
<br>
<br>
Makarius <br>
<br>
</p>
</blockquote></div><br></div>