Maximilian Vollath (Sep 21 2024 at 15:21): Maximilian Vollath (Sep 21 2024 at 15:21):I often have the problem that when I call "try" and I delete the "try" line in specific ways (i.e. undo or selecting a big code block and pasting...), the try process doesnt stop and Isabelle doesn't work properly until the try process stops naturally. Is there a way to force it to stop without restarting the program entirely?
Mathias Fleury (Sep 23 2024 at 07:15):If you are under windows that could be the sledgehammer issue that has been reported
Mathias Fleury (Sep 23 2024 at 07:15):(issue that no windows person seems to want to debug actually)
Jonathan Lindegaard Starup (Oct 31 2024 at 12:17):I have task manager open and squash running eprover.exe processes when things become slow
Last updated: Dec 21 2024 at 16:20 UTC