Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tomtomjhj/coq-lsp.nvim issues and pull requests
#6 - Is there a way to display messages, not just goals
Issue -
State: closed - Opened by dylech30th 11 months ago
- 2 comments
#5 - Upstream the lspconfig configuration
Issue -
State: closed - Opened by Julian about 1 year ago
- 1 comment
#4 - What version of coq-lsp does this plugin support?
Issue -
State: closed - Opened by DieracDelta over 1 year ago
- 3 comments
#3 - index out of range
Issue -
State: closed - Opened by gleachkr over 1 year ago
- 2 comments
#2 - How to customize the coq goals panel？
Issue -
State: open - Opened by Allen191819 over 1 year ago
- 1 comment
#1 - Try to answer some questions on the comments
Issue -
State: closed - Opened by ejgallego almost 2 years ago
- 2 comments