Skip to content

Issues: whonore/Coqtail

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

30 Open 143 Closed
30 Open 143 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Close the command output when empty
#374 opened Nov 7, 2024 by meithecatte
1
Feature Request: Conceal Common Coq Symbols
#370 opened Sep 3, 2024 by keikun555
1
feature: automatic CoqJumpToEnd after stepping?
#367 opened Aug 25, 2024 by katrinafyi
1
1
:CoqGotoDef Broken for Local Definitions with No .vo bug
#363 opened Aug 9, 2024 by whonore
:Coq Set Printing Width not persistent
#345 opened Mar 27, 2024 by bn-peters
1
Anonymous implicit generalization is not recognized good first issue help wanted highlighting
#296 opened May 24, 2022 by Tuplanolla
3
Row and column backgrounds are woven in a strange way highlighting
#295 opened May 20, 2022 by Tuplanolla
1
Search results incorrectly highlighted as errors good first issue highlighting
#288 opened May 6, 2022 by Tuplanolla
3
Different bullets have different formatting behavior
#287 opened May 3, 2022 by Tuplanolla
3
Inconsistent options in auxiliary buffers
#282 opened Apr 14, 2022 by Tuplanolla
2
Highlight modules with signatures help wanted highlighting
#280 opened Apr 10, 2022 by Lysxia
1
Coq Community Survey 2022 feedback
#277 opened Mar 28, 2022 by Zimmi48
Failed to launch Coq in wsl bug can't reproduce
#245 opened Dec 27, 2021 by PROgram52bc
11
Failed to launch Coq. bug can't reproduce
#241 opened Nov 26, 2021 by vsiles
23
Synchronous commands are not interruptible async enhancement help wanted
#224 opened Aug 21, 2021 by tomtomjhj
8
Automatically insert Coq output as a comment enhancement
#200 opened Mar 30, 2021 by whonore
7
Can't start Coq in theories/Init bug
#199 opened Mar 19, 2021 by whonore
= detected as coqKwd good first issue help wanted highlighting
#166 opened Dec 5, 2020 by Iron-E
coqKwdParen should distinguish Definition and its arguments good first issue help wanted highlighting
#165 opened Dec 5, 2020 by Iron-E
Delimiters detected as coqKwd good first issue help wanted highlighting
#164 opened Dec 5, 2020 by Iron-E
coqVernacPunctuation detected as coqIndConstructor good first issue help wanted highlighting
#163 opened Dec 5, 2020 by Iron-E
Eval in definition not highlighted/indented correctly good first issue help wanted highlighting indentation
#147 opened Oct 20, 2020 by whonore
Proofs that don't start with "Proof." are not recognized highlighting
#125 opened Jul 22, 2020 by Lysxia
5
Refactor syntax files cleanup highlighting
#87 opened Apr 6, 2020 by whonore
1
Output duplicated while defining tactics in a proof bug
#84 opened Mar 5, 2020 by whonore
ProTip! Adding no:label will show everything without a label.