Ant S. (Jun 19 2026 at 08:58): Ant S. (Jun 19 2026 at 08:58):This might be a bit of a contrived endeavour, but I was reading the isabelle system manual (particularly the isabelle server) and I didn't seem to find a clear way to run, say, isabelle jedit using a pre-running server instance.
My X-Y problem is that I would like to spawn one isabelle server for my project and then run two client instances, one running jedit and the other vscode. My reason for this is mostly that I prefer vscode to jEdit since it's what I'm more familiar with, but there are some things I can't do on vscode, even in 2025-2, such as marking a file as required for continuous checking (there doesn't seem to be a theories tab. I could run 2 standalone instances but that seems inefficient.
Maybe there's a simpler solution to this, but I wanted to know, is this possible?
Fabian Huch (Jun 19 2026 at 09:37):No, isabelle server refers to a headless server.
Fabian Huch (Jun 19 2026 at 09:40):And fundamentally, {headless,jEdit, VSCode} are different PIDE sessions.
Notification Bot (Jun 19 2026 at 09:42):Ant S. has marked this topic as resolved.
Last updated: Jun 26 2026 at 21:20 UTC