I'm interested in trying this, but VSCodium doesn't have access to Microsoft's extension registry (for legal reasons); can you publish it to the Open VSX registry as well. I think they have tools to make the process easy and I know both VSCoq and OCaml Platform are there, so hopefully someone knowledgeable can help with that.
Thank you very much
Hi @Yann Leray , of course, thanks for your interest and hints, I was not aware of the Open VSX registry, I will publish it next week. Meanwhile, you can try installing from source as explained in the readme, it is very easy (just symlink)
Hi @Yann Leray , the extension is now at https://open-vsx.org/extension/ejgallego/coq-lsp
sorry for the wait
Thanks
Emilio Jesús Gallego Arias has marked this topic as resolved.
Last updated: Mar 29 2024 at 07:01 UTC