Skip to content

Issues: coq-community/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

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

User experience with query panel
#759 opened Mar 28, 2024 by eponier
Open the "Info" output panel when messages are printed there
#758 opened Mar 28, 2024 by NotWearingPants
Hanging coqc resumes on restart
#757 opened Mar 24, 2024 by joscoh
Bad alignment in the output of "Print Universes Subgraph" bug Something isn't working
#752 opened Mar 12, 2024 by YaZko
1
Closed Files Still Use Memory bug Something isn't working
#751 opened Mar 11, 2024 by joscoh
1
1
VsCoq 2 -- Very slow with 100% CPU usage bug Something isn't working
#750 opened Mar 7, 2024 by julesjacobs
3
Formatting Proof view bug Something isn't working
#749 opened Mar 6, 2024 by oddcoder
4
VSCoq 2 - Definitions shown in query panel are not formatted bug Something isn't working
#748 opened Mar 2, 2024 by gldubc
vscoqtop long-running orphaned processes; coqc hangs on unification bug Something isn't working
#746 opened Feb 23, 2024 by artagnon
1
Provide a way to distinguish unparsed from successful
#743 opened Feb 21, 2024 by CohenCyril
1
Vscoq 2.1.0 Problem with the green selection in manual mode
#741 opened Feb 20, 2024 by thery
7
Guard failure at Qed time crashes the server bug Something isn't working
#736 opened Feb 18, 2024 by YaZko
Ltac printing - where is it displayed? bug Something isn't working
#733 opened Feb 16, 2024 by threonorm
2
Valid but non-ascii identifiers are not processed? bug Something isn't working
#731 opened Feb 15, 2024 by YaZko
Error message from Psatz crashes vscoq bug Something isn't working
#719 opened Feb 7, 2024 by thery
2
problem using vscoq on windows 10 via wsl bug Something isn't working
#709 opened Jan 19, 2024 by ellisonch
1
Cannot add monomorphic constraints bug Something isn't working
#708 opened Jan 17, 2024 by rtetley
1
Navigation bug with plugin loading bug Something isn't working
#707 opened Jan 17, 2024 by rtetley
1
Output recorded in reverse order bug Something isn't working
#705 opened Jan 4, 2024 by gares
Crash During Fast Edits With Proof Delegation Enabled bug Something isn't working
#703 opened Dec 24, 2023 by vfukala
1
[notation-overridden,parsing,default] on all_ssreflect import
#692 opened Nov 21, 2023 by 0xGeorgii
5
Reset is an unsupported Coq command?
#687 opened Nov 9, 2023 by chaikens
1
Support for multiroot workspace enhancement New feature or request
#683 opened Nov 2, 2023 by charguer
Changes appear to be processed character by character (VsCoq2 ) enhancement New feature or request
#682 opened Nov 1, 2023 by nathanwhit
1
Cannot dynlink to the Stm in vscoqtop
#678 opened Oct 18, 2023 by LasseBlaauwbroek
1
ProTip! no:milestone will show everything without a milestone.