Where is the documention on how Coq communicates with VSCode via LSP?

[enjoysmath]

Hi. I want to write an extension to VSCode that "interacts with the current .v document". Any ideas what I should be looking for? I'm guessing the LSP protocol documentations for VScoq.

[gares]

this is the current roadmap
https://github.com/coq-community/vscoq/wiki/VsCoq-1.0-Roadmap

This fork is a branch which will be evenetually merged in vscoq. By the end of the mont we hope the answer to your question to be clear, right now the answer is too messy, since vscoq is currently emulating LSP on top of another protocol.

[enjoysmath]

Thanks 🙏 please keep me notified with this thread

…

On Sat, Sep 3, 2022 at 1:55 PM Enrico Tassi ***@***.***> wrote: this is the current roadmap https://github.com/coq-community/vscoq/wiki/VsCoq-1.0-Roadmap This fork is a branch which will be evenetually merged in vscoq. By the end of the mont we hope the answer to your question to be clear, right now the answer is too messy, since vscoq is currently emulating LSP on top of another protocol. — Reply to this email directly, view it on GitHub <#3 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAMIF55ZUDP5AW7DF5ADYBLV4O3MDANCNFSM6AAAAAAQD65RWQ> . You are receiving this because you authored the thread.Message ID: ***@***.***>