-
Notifications
You must be signed in to change notification settings - Fork 72
Issues: coq/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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
"interpret to next with no observe_id" after editing the first sentence
bug
Something isn't working
#925
opened Oct 5, 2024 by
tomtomjhj
Syntax highlighting adds an odd box around lower-case unicode letters
#905
opened Sep 15, 2024 by
RalfJung
Show "doc comment" on hover over an identifier
enhancement
New feature or request
#898
opened Sep 10, 2024 by
RalfJung
In the last line of the "goals" output, Something isn't working
_
are not visible
bug
#896
opened Sep 10, 2024 by
RalfJung
Misparsed tactic leads to two commands being exeucted at once
bug
Something isn't working
#895
opened Sep 10, 2024 by
RalfJung
Confusing error when asking to "Print" on a term that is not yet processed
bug
Something isn't working
#894
opened Sep 10, 2024 by
RalfJung
Previous Next
ProTip!
Follow long discussions with comments:>50.