Skip to content

Issues: siegebell/vscoq

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

51 Open 111 Closed
51 Open 111 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

The inconsistent description between github-repo-readme and VSCode extension
#175 opened Jan 28, 2022 by Mepy
1
Coq 8.9 gives error
#172 opened Aug 28, 2019 by varosi
1
🎉 Move to coq-community ‎🎉
#170 opened Jun 28, 2019 by Zimmi48
1
the out-of-date API
#168 opened Mar 29, 2019 by wm775825
1
Hope to support the recent version of coq
#165 opened Jan 27, 2019 by CanftIn
1
Can this plugin be restarted?
#162 opened Aug 21, 2018 by dbshch
1
Error: Running the contributed command:'extension.coq.interpretToPoint' failed.
#161 opened Jun 17, 2018 by xiaoxiangmoe
Annoying bell sound when running Coq: Step Forward using the keybindings
#160 opened Jun 13, 2018 by mseri
2
Add "ProofView Customization" to Docs
#158 opened Mar 23, 2018 by nickzuber
Search doesn't appear to prove all results
#157 opened Mar 13, 2018 by varkor
1
Stepping backward on to a Check doesn't trigger it
#156 opened Feb 28, 2018 by varkor
Diff is unhelpful when expected types and found types are completely dissimilar
#155 opened Feb 26, 2018 by varkor
Snippets aren't always available in lemma statements
#154 opened Feb 26, 2018 by varkor
Add an option to not automatically open Proof View
#153 opened Feb 26, 2018 by varkor
Invalid coqtop.args do not cause errors
#152 opened Feb 23, 2018 by varkor
When opening Proof View, hypotheses-goals separating line is visible
#150 opened Feb 21, 2018 by varkor
1
Quickly clicking "Refresh" causes a WebSocket error to flash up
#149 opened Feb 21, 2018 by varkor
1
Error when compiling extension
#147 opened Feb 21, 2018 by varkor
2
Proof state should be reset when "Not in proof mode."
#145 opened Feb 20, 2018 by varkor
1
Evaluation highlight can sometimes become desynced from text
#144 opened Feb 20, 2018 by varkor
1
Interpret to point incorrect when using interpretToEndOfSentence
#141 opened Feb 20, 2018 by varkor
Query Results and Notices overwrite rather than append
#138 opened Aug 8, 2017 by jldodds
2
OSX LoadPath inconsistencies
#137 opened Jul 13, 2017 by natelaunchbury
1
ProofView is always dark black themed in the April 2017 (version 1.12)
#136 opened May 7, 2017 by MikeMKH
1
ctrl-shift p (print) overrides vsc command palette shortuct bug
#135 opened Apr 18, 2017 by jldodds
1
ProTip! Adding no:label will show everything without a label.