Hi!
I’m getting the following error multiple times when I try to write code in VSCode. It only works if I restart the application. Is there a solution?
The Coq Language Server server crashed 5 times in the last 3 minutes. The server will not be restarted. See the output for more information. Server process exited with code 0.
We had a similar report today, and the work around was to switch “diff mode” off in the extension settings.
If the problem persists, please write on the zulip channel:
https://coq.zulipchat.com/#narrow/stream/237662-VsCoq-devs-.26-users
Thank you so much for replying! “diff mode” was already off by default. I will see for a while if the problem still persists. Thank you!