Adam Dingle (Mar 29 2026 at 12:02): Adam Dingle (Mar 29 2026 at 12:02):I'm using Isabelle/VSCode. Overall it works pretty well, but occasionally the server stops responding and I see this in the Output pane (if I select Isabelle in the dropdown list there):
[Info - 1:26:44 PM] Isabelle protocol command failure: "Document.update"
It's not a major problem, since if I restart Isabelle/VSCode then everything is fine.
Is this bug known? (As far as I can tell Isabelle does not have a bug database, so I just have to ask here.)
Fabian Huch (Mar 30 2026 at 13:40):What OS / Platform is this? Also which Isabelle version exactly?
Adam Dingle (Mar 30 2026 at 14:00):I'm running Isabelle2025-2 on Ubuntu 25.10. I don't see this failure too often, maybe once every few hours. If there's any way I can capture log information that would help debug the problem, just let me know.
Last updated: Apr 09 2026 at 09:11 UTC