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
#28 - copilot / codium not working.
Issue -
State: open - Opened by OneOfOne 8 months ago
#27 - How to use ?
Issue -
State: open - Opened by samos667 about 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 over 2 years ago
- 1 comment
#24 - when using copilot, the copilot completions still show up outside the coq menu
Issue -
State: open - Opened by jsholmes over 2 years ago
- 4 comments
#23 - fix(dap): omnifunc deprecate warning
Pull Request -
State: closed - Opened by mendes-davi over 2 years ago
- 1 comment
#22 - attempt to get length of upvalue 'fonts' (a nil value)
Issue -
State: closed - Opened by CRAG666 over 2 years ago
#21 - cow,figlet: fix unintended nil return
Pull Request -
State: closed - Opened by laomaiweng almost 3 years ago
- 1 comment
#20 - better copilot matches
Pull Request -
State: closed - Opened by ms-jpq almost 3 years ago
#19 - Added vim-dadbod-completion as a source
Pull Request -
State: closed - Opened by RRikor almost 3 years ago
- 2 comments
#18 - Init fails
Issue -
State: closed - Opened by mrdgo almost 3 years ago
- 2 comments
#17 - prefix references to cmp and deoplete to avoid namespace clashes
Pull Request -
State: closed - Opened by garyhurtz almost 3 years ago
- 1 comment
#16 - Fix `conf_only` logic for nvimlua
Pull Request -
State: closed - Opened by hoov about 3 years ago
- 1 comment
#15 - cbetter calc
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#14 - better cow
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#12 - added dap docs
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#11 - Dap source
Pull Request -
State: closed - Opened by dnaaun about 3 years ago
- 1 comment
#10 - minor improvements
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#9 - nvim-cmp <-> coq.nvim bridge
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#8 - repl ban unsafe cmds
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#6 - use streaming
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#5 - adding in repl
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#4 - chan stop
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#3 - addd bc
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#2 - more sources
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago
#1 - lua repl
Pull Request -
State: closed - Opened by ms-jpq about 3 years ago