Skip to content

Issues: ms-jpq/coq_nvim

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

160 Open 238 Closed
160 Open 238 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

upcoming vim.lsp.buf_get_clients() deprecation
#634 opened May 21, 2024 by git-girl
Disable fuzzy matching for some sources
#631 opened May 8, 2024 by rajaravivarma-r
Start coq on Neovim launch
#630 opened Mar 31, 2024 by Andy3153
5
COQ opens while using Telescope
#629 opened Mar 30, 2024 by mrphil2105
TypeError: conn() got multiple values for argument 'socket'
#628 opened Mar 21, 2024 by LoCrealloc
Blocking behavior during Coq initialization
#626 opened Mar 15, 2024 by dtrckd
UNIQUE constraint failed: lines.buffer_id, lines.line_num
#625 opened Mar 12, 2024 by mrphil2105
Selection gets cleared in menu without fast_close.
#624 opened Mar 12, 2024 by mrphil2105
Text I've already typed gets duplicated when I accept a completion
#623 opened Feb 23, 2024 by vincent-sparks
3
TMUX crashes coq_nvim
#622 opened Feb 21, 2024 by samrxth
3
"UnicodeEncodeError: 'utf-8' codec can't encode character '\udcc8' in position 0: surrogates not allowed" when typing brackets
#621 opened Feb 19, 2024 by lilypad-88
How to install and configure coq using lazy plugin manager?
#620 opened Feb 16, 2024 by thisisjab
7
Double insert when auto completing functions in rust
#617 opened Jan 30, 2024 by nea89o
Update completions after manually triggering them
#616 opened Jan 29, 2024 by LukasPietzschmann
1
COQ exited -1 on nvim launch
#615 opened Jan 24, 2024 by oc-tk
Unable to be used on NixOs
#614 opened Jan 19, 2024 by B4rc1
6
COQnow fails in tmux after upgrading to Fedora 39
#611 opened Nov 12, 2023 by vincenzocaputo
3
Failed to start server: no such file or directory
#610 opened Oct 26, 2023 by jakubgros
1
Autoimport doesn't work
#609 opened Oct 24, 2023 by h4-h
2
Slow When Loading Python File
#608 opened Oct 23, 2023 by fishbotics
Autocompletion on numbers
#607 opened Oct 15, 2023 by molostovvs
:COQnow shows error
#606 opened Oct 14, 2023 by purpleblackferret
2
Highlight LSP Kind
#605 opened Oct 11, 2023 by lovesegfault
Can't start coq on Windows. Sqlite syntax error
#604 opened Oct 7, 2023 by OrangeLightning219
2
disable navigation within menu with arrow keys
#603 opened Sep 27, 2023 by mariospicross
ProTip! Find all open issues with in progress development work with linked:pr.