Yves Bertot

Yes, this gets closer to a solution. The path shown when I click there explains the problem. This is the cause: the path shows that I am using a nix...


Now fixed with the help of @gares. F1 -> Preferences:User Settings -> Vscoq:path emptied the text-editing zone at that place.

I experienced a similar problem, even though I had anticipated: - I first updated my opam setting to make sure I had vscoq-language-server 2.2.3 - I then restarted my code...