Skip to content

Issues: cpitclaudel/company-coq

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

Clear current search query, filters, and sorts
95 Open 144 Closed
95 Open 144 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

Fields of Inductive/Record/Class not available in completion
#14 opened May 13, 2015 by wilcoxjay
2
Inline Docs
#21 opened Aug 12, 2015 by Kethku
2
visual diff of goals before/after tactic
#29 opened Dec 18, 2015 by jonleivent
26
Feature wish: real-time extraction buffer
#35 opened Dec 23, 2015 by jonleivent
26
"?" should not count as operator character when followed by alphanumeric
#37 opened Dec 25, 2015 by jonleivent
2
Folding doesn't work on last line of proof
#40 opened Jan 4, 2016 by cpitclaudel
Suggestions about suggestion ordering
#44 opened Jan 12, 2016 by JasonGross
5 of 6 tasks
7
Feature request: don't disable multiword completions after space enhancement
#49 opened Jan 13, 2016 by JasonGross
17
Naming hypotheses for lemma extraction enhancement
#64 opened Jan 24, 2016 by nickgian
@cpitclaudel
20
An even better lemma extraction? enhancement question
#68 opened Jan 28, 2016 by Zimmi48
@cpitclaudel
4
Control-Click in Aquamacs
#70 opened Jan 29, 2016 by vzaliva
16
Missing completions
#74 opened Feb 2, 2016 by JasonGross
4 tasks
9
Delayed/slow scrolling bug help wanted
#80 opened Feb 13, 2016 by alxest
9
Request: electric bullets enhancement
#82 opened Feb 16, 2016 by jonleivent
3
Evaluation of company-coq-tutorial hangs on Require Import Omega. bug
#87 opened Feb 22, 2016 by dredozubov
12
Feature request: fully qualify all module names at once enhancement
#89 opened Feb 23, 2016 by JasonGross
Feature request: fully qualify module names on completion enhancement
#90 opened Feb 23, 2016 by JasonGross
1
Folding eats comments before next definition enhancement help wanted question
#91 opened Feb 24, 2016 by wilcoxjay
1
folding throws off auto set printing width
#97 opened Mar 6, 2016 by jonleivent
incorrectly colorized "pose proof" within a comment
#100 opened Mar 22, 2016 by jonleivent
1
Extra newline inserted after autocompletion bug
#106 opened Apr 18, 2016 by jstolarek
3
company-coq slows down pasting from system clipboard bug question
#108 opened Apr 22, 2016 by jstolarek
4
Import has completions for files but not for modules
#113 opened May 4, 2016 by JasonGross
3
Show Obligation Tactic.
#114 opened May 9, 2016 by vzaliva
1
Missing completion for hint databases enhancement
#115 opened May 10, 2016 by JasonGross
2
ProTip! Adding no:label will show everything without a label.