Stream: General

Topic: Isabelle/jEdit becomes unstable after sledgehammer

Yosuke Ito (Jan 29 2026 at 23:53):

Hello,
After updating to Isabelle2025-2, I noticed that Isabelle/jEdit becomes unstable after using sledgehammer. By "unstable" I mean the following:

• The continuous checking of Isabelle/jEdit freezes for about 10 seconds.
• After that, the continuous checking restarts from the beginning of the theory.

Has anyone experienced a similar issue?
If so, I would appreciate any workaround or suggestions.
For reference, I am using MacBook Air (M1, 2020) with 8 GB of memory.

Yosuke Ito (Jan 31 2026 at 08:09):

I reinstalled Isabelle2025-2, but the situation did not change.

Last updated: Feb 06 2026 at 20:37 UTC