Artem Khovanov (Jul 15 2022 at 20:37): Artem Khovanov (Jul 15 2022 at 20:37):I've been having an issue where, after closing jedit and trying to repoen, the jedit process doesnt start unless I restart my machine.
I'm running Windows 10.
Is this a common/known issue?
Manuel Eberl (Jul 18 2022 at 10:14):Any messages if you start it from the console?
Artem Khovanov (Jul 18 2022 at 10:17):Manuel Eberl said:
Any messages if you start it from the console?
Ah, I'll check that next time. On further thought, I think it only happens if I kill isabelle when something freezes, so it makes sense something would get messed up. I wonder how to reset it without a system restart..
Manuel Eberl (Jul 18 2022 at 10:21):Hm, I think normally when you start Isabelle/jEdit, it always starts a separate new Isabelle process and a separate new jEdit process. So even if there's some broken old process lingering in the background it shouldn't make any difference.
Manuel Eberl (Jul 18 2022 at 10:22):Maybe something with the JVM? I don't know. I've never used Isabelle on Windows. But if something doesn't launch, looking at the console output is typically the best way of finding out what's going on.
Manuel Eberl (Jul 18 2022 at 10:22):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.
Artem Khovanov (Jul 19 2022 at 19:13):Manuel Eberl said:
Any messages if you start it from the console?
No output, instantly returns.
Last updated: Apr 20 2024 at 08:16 UTC