zombie proof processes

[Makarius]

On 06/11/2025 19:50, Manuel Eberl wrote:
> When I taught the Concrete Semantics course in Innsbruck this summer a lot of 
> my students had this problem on Windows, often to the extent that they had to 
> frequently reboot their laptops because they would be rendered unusable. I 
> don't remember whether it was Isabelle 2024 or 2025 that caused that issue 
> though.

Yes, that was due to E Prover, mostly in Isabelle2024. For Isabelle2025 we've 
had this NEWS item:

   - Update of bundled provers:
       . E 3.1 -- with patch on Windows/Cygwin for proper interrupts

It was due to bad project management on the side of Stephan Schulz: He had 
accepted patches without looking closely enough.


	Makarius