Coq 8.9 gives error

[varosi]

Coq 8.9 gives that error:

coqtop-stderr: Don't know what to do with -ideslave See -help for the list of supported options

Client connected on control channel W (port 57941) [Warn - 17:31:03] >>> Unknown version of Coq: 8.9.0; falling back to 8.6

Call Init() [Error - 17:31:03] Error: Error: read ECONNRESET (main channel W) onCoqClosed(Error: read ECONNRESET (main channel W)) coqtop exited with code: 1 coqtop closed with code: 1

[Zimmi48]

As mentioned in the README, this version of Coq is not supported. You should use the fork at https://github.com/coq-community/vscoq, released as https://marketplace.visualstudio.com/items?itemName=maximedenes.vscoq.