Old version of language server

[DarkWolf646]

I installed the Coq platform using the Windows binary installer from this page https://github.com/rocq-prover/platform/releases . It includes version 2.2.3 of vscoq-language-server, but the latest release of VsCoq requires version 2.2.6.

[MSoegtropIMC]

There is not that much we can do about this. Creating the signed installers is a rather involved process because there are so many binaries in it and the INRIA signing infrastructure is complicated. It was more automated before.

Since the installers are for historic reasons NSIS based, it is also hard to create an upgrade installer, which just updates the language server. A WIX based installer word support this.

I am afraid, for the time being the only options are to either use an older version of VSCoq or to compile Coq Platform from sources - the scripts we provide for this work well. Then you can upgrade the language server using opam (or modify the pick file before you run the script).

We should also work with the VSCoq team to provider more compatibility. VSCode has an elaborate systems of advertising language server features and I don't see a good technical reasons for putting hard to manage version restrictions into the client.