Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ms-jpq/coq.thirdparty issues and pull requests
#31 - vim.validate is deprecated. Feature will be removed in Nvim 1.0
Issue -
State: closed - Opened by Mte90 17 days ago
- 3 comments
#30 - Clarification for the message
Pull Request -
State: closed - Opened by ErDmKo 2 months ago
- 1 comment
#29 - Add mysql filetype to vim_dadbod_completion
Pull Request -
State: closed - Opened by Herz3h 2 months ago
- 1 comment
#28 - copilot / codium not working.
Issue -
State: open - Opened by OneOfOne 11 months ago
#27 - How to use ?
Issue -
State: open - Opened by samos667 over 2 years ago
- 3 comments
#26 - Allow for specifing fonts to figlet
Pull Request -
State: closed - Opened by CMurtagh-LGTM over 2 years ago
- 1 comment
#25 - Update README.md, grammar
Pull Request -
State: closed - Opened by Joseph-Melberg almost 3 years ago
- 1 comment
#24 - when using copilot, the copilot completions still show up outside the coq menu
Issue -
State: open - Opened by jsholmes almost 3 years ago
- 4 comments
#23 - fix(dap): omnifunc deprecate warning
Pull Request -
State: closed - Opened by mendes-davi almost 3 years ago
- 1 comment
#22 - attempt to get length of upvalue 'fonts' (a nil value)
Issue -
State: closed - Opened by CRAG666 almost 3 years ago
#21 - cow,figlet: fix unintended nil return
Pull Request -
State: closed - Opened by laomaiweng about 3 years ago
- 1 comment
#20 - better copilot matches
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#19 - Added vim-dadbod-completion as a source
Pull Request -
State: closed - Opened by RRikor about 3 years ago
- 2 comments
#18 - Init fails
Issue -
State: closed - Opened by mrdgo about 3 years ago
- 2 comments
#17 - prefix references to cmp and deoplete to avoid namespace clashes
Pull Request -
State: closed - Opened by garyhurtz about 3 years ago
- 1 comment
#16 - Fix `conf_only` logic for nvimlua
Pull Request -
State: closed - Opened by hoov over 3 years ago
- 1 comment
#15 - cbetter calc
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#14 - better cow
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#12 - added dap docs
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#11 - Dap source
Pull Request -
State: closed - Opened by dnaaun over 3 years ago
- 1 comment
#10 - minor improvements
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#9 - nvim-cmp <-> coq.nvim bridge
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#8 - repl ban unsafe cmds
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#6 - use streaming
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#5 - adding in repl
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#4 - chan stop
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#3 - addd bc
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#2 - more sources
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#1 - lua repl
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago