Current issue state, recent activity, and per-issue timelines from the indexed issue data.
| Date | Opened | Closed | Comments | Events | Open Backlog |
|---|---|---|---|---|---|
| 2026-09-20 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-19 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-18 | 0 | 0 | 0 | 0 | 35 |
| 2026-09-17 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-16 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-15 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-14 | 0 | 1 | 0 | 0 | 0 |
| 2026-09-13 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-12 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-11 | 1 | 0 | 0 | 0 | 0 |
| 2026-09-10 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-09 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-08 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-07 | 0 | 0 | 0 | 0 | 0 |
Opened: 0
Closed: 1
Comments: 0
Events: 0
No label distribution is available yet.
| Issue | Author | State | Labels | Comments | Reactions | Updated |
|---|---|---|---|---|---|---|
#718 Coq breaks scrollback clearing on exit Opened 10 days ago | taprootmx | closed - completed | No labels | 1 | 0 | 6 days ago |
#717 arduino-language-server doesn't play nice with COQ Opened 1 month ago | casprr6 | open | No labels | 1 | 1 | 1 month ago |
#302 Feature Request: UltiSnips integration Opened 5 years ago | joshua-afk | open | No labels | 11 | 1 | 1 month ago |
#714 Cannot navigate snippets? Opened 3 months ago | The-Pineappleman | closed - completed | No labels | 1 | 0 | 2 months ago |
#715 Lunarocks release Opened 3 months ago | ACLzz | closed - completed | No labels | 4 | 0 | 2 months ago |
#716 Bug when moving to nvim completion timeouts Opened 2 months ago | WPettersson | closed - completed | No labels | 2 | 0 | 2 months ago |
#712 neovim crashing Opened 3 months ago | iamveryverystupid | closed - completed | No labels | 10 | 0 | 3 months ago |
#713 Nagging "ENOENT: no such file or directory" errors Opened 3 months ago | randoragon | closed - completed | No labels | 1 | 0 | 3 months ago |
#704 Coq asserts in std2 on termux Opened 7 months ago | HaNaK0 | open | No labels | 0 | 0 | 7 months ago |
#700 Problem with lspconfig Opened 11 months ago | Unfinished632 | closed - completed | No labels | 2 | 0 | 8 months ago |
#692 Disable pum after newline Opened 1 year ago | fedya-eremin | open | No labels | 1 | 0 | 9 months ago |
#698 Errors while saving register parameters in SQLite Opened 11 months ago | ythosa | closed - completed | No labels | 0 | 10 | 10 months ago |
#702 Based readme quebec reference Opened 10 months ago | TheItroma | open | No labels | 0 | 0 | 10 months ago |
#699 Missing steps or details in README installation section Opened 11 months ago | juliend2 | open | No labels | 1 | 0 | 10 months ago |
#561 Customize popup display order? Opened 4 years ago | algorithmiker | open | No labels | 1 | 2 | 10 months ago |
#666 Bug: Inline LSP breaks normal LSP(Haskell) Opened 2 years ago | jergk | closed - completed | No labels | 2 | 1 | 1 year ago |
#671 Weird error message when using Coq on Vimtex Opened 2 years ago | ndrew222 | open | No labels | 5 | 2 | 1 year ago |
#693 `Please update to latest version of coq.nvim.` when already on latest version. Opened 1 year ago | ndrew222 | closed - completed | No labels | 0 | 0 | 1 year ago |
#697 Auto Import for rust-analyzer broken Opened 1 year ago | SeeStarz | closed - completed | No labels | 2 | 0 | 1 year ago |
#696 How to prevent from jumping to next line when auto-completing Opened 1 year ago | xiaonengmiao | open | No labels | 0 | 2 | 1 year ago |
#665 Support for Tabby Opened 2 years ago | dtrckd | closed - completed | No labels | 2 | 0 | 1 year ago |
#614 Unable to be used on NixOs Opened 3 years ago | B4rc1 | open | No labels | 6 | 0 | 1 year ago |
#115 Cursor jumps few lines down after LSP import Opened 5 years ago | radmen | open | No labels | 5 | 0 | 1 year ago |
#525 how to make the first promot automatically selected? Opened 4 years ago | lucasjinreal | open | No labels | 1 | 2 | 1 year ago |
#678 Fuzzy matching conundrum Opened 2 years ago | TheLeoP | closed - not_planned | No labels | 0 | 0 | 1 year ago |
