Asterix Gallier (Jun 04 2026 at 07:18): Asterix Gallier (Jun 04 2026 at 07:18):On my Windows on ARM laptop, I can sometimes not start Isabelle after closing it. The only remedy I've found is to restart the entire machine. Invoking the executable from the command line (with or without "jedit" argument) returns instantly without output.
I have two versions of Isabelle installed, 2025 and 2025-2. When I can't launch one of them, I can still launch the other. (The problem occurred before I installed 2025-2 as well, so it's not an issue with parallel installations interfering.)
I haven't been able to work out the exact conditions when this happens. Sometimes I can close and reopen just fine.
I've found two threads from 2022 describing the exact same issue:
In the latter, I read:
Manuel Eberl
If we can't resolve this here quickly, I recommend you ask on the isabelle-users mailing list instead. The main Isabelle developer, Makarius, is the best person to dig into this more deeply, and he doesn't read Zulip I'm afraid.
I couldn't find anything in the archive of the Isabelle Users mailing list on Zulip. I may have missed it.
I'd greatly appreciate any help (a workaround without restarting the laptop would be phenomenal).
Last updated: Jun 06 2026 at 17:17 UTC