Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/vscoq issues and pull requests
#916 - cleanup(EM): delegated tasks are executable sentences
Pull Request -
State: closed - Opened by gares about 1 month ago
- 1 comment
#915 - support Restart
Pull Request -
State: open - Opened by gares about 2 months ago
#914 - Slowdown after editing file
Issue -
State: open - Opened by TheoWinterhalter about 2 months ago
#913 - Cursor automatically moves on error.
Issue -
State: closed - Opened by pink10000 about 2 months ago
- 1 comment
#912 - Option to set default size of proof window
Issue -
State: open - Opened by thomas-lamiaux about 2 months ago
#911 - feat: jump to definition proof of concept
Pull Request -
State: open - Opened by rtetley about 2 months ago
- 3 comments
#910 - bump version
Pull Request -
State: closed - Opened by rtetley about 2 months ago
#909 - Write 2024/2025 roadmap
Issue -
State: open - Opened by rtetley about 2 months ago
#908 - [chore] Write how to contribute section for developers doc
Issue -
State: open - Opened by rtetley about 2 months ago
#907 - Name changing issue tracker
Issue -
State: open - Opened by rtetley about 2 months ago
#906 - `Search` command that shows many results is extremely slow
Issue -
State: open - Opened by RalfJung about 2 months ago
- 11 comments
#905 - Syntax highlighting adds an odd box around lower-case unicode letters
Issue -
State: open - Opened by RalfJung about 2 months ago
- 2 comments
#904 - feat: add config option to control whether Coq buttons are displayed
Pull Request -
State: closed - Opened by Durbatuluk1701 about 2 months ago
- 2 comments
#903 - fix: off by one error in Hover
Pull Request -
State: closed - Opened by Durbatuluk1701 about 2 months ago
- 1 comment
#902 - feat: query actions are now done with prompts
Pull Request -
State: closed - Opened by rtetley about 2 months ago
#901 - feat: show message when goals are unfocused
Pull Request -
State: closed - Opened by rtetley about 2 months ago
#900 - feat: optimize pp-display for a better and faster goal view and query panel
Pull Request -
State: closed - Opened by rtetley about 2 months ago
- 1 comment
#899 - fix: hover for period qualifiers and single quotes in names
Pull Request -
State: closed - Opened by Durbatuluk1701 2 months ago
- 7 comments
#898 - Show "doc comment" on hover over an identifier
Issue -
State: open - Opened by RalfJung 2 months ago
Labels: enhancement
#897 - fix: make VsCoq activity bar logo appear only when Coq files present
Pull Request -
State: closed - Opened by Durbatuluk1701 2 months ago
- 15 comments
#896 - In the last line of the "goals" output, `_` are not visible
Issue -
State: open - Opened by RalfJung 2 months ago
- 9 comments
Labels: bug
#895 - Misparsed tactic leads to two commands being exeucted at once
Issue -
State: open - Opened by RalfJung 2 months ago
- 1 comment
Labels: bug
#894 - Confusing error when asking to "Print" on a term that is not yet processed
Issue -
State: open - Opened by RalfJung 2 months ago
- 8 comments
Labels: bug
#893 - build: we only support 64 bit arch
Pull Request -
State: closed - Opened by rtetley 2 months ago
#892 - Parsing issues with MetaCoq
Issue -
State: open - Opened by thomas-lamiaux 2 months ago
- 3 comments
Labels: bug
#891 - Add an option to control the printing panel
Issue -
State: open - Opened by thomas-lamiaux 2 months ago
- 2 comments
#890 - Bump version
Pull Request -
State: closed - Opened by rtetley 2 months ago
#889 - Installing language server on Windows
Issue -
State: open - Opened by FeldrinH 2 months ago
- 4 comments
#888 - Provide shortcut for typing a Search/About/Locate/... query
Issue -
State: closed - Opened by RalfJung 2 months ago
- 1 comment
Labels: enhancement
#887 - feat: Disable the auto display for the proof view
Pull Request -
State: closed - Opened by rtetley 2 months ago
#886 - VsCoq icon should only show up in sidebar when there are Coq files opened
Issue -
State: closed - Opened by RalfJung 2 months ago
- 3 comments
Labels: bug
#885 - docs: update change log
Pull Request -
State: closed - Opened by rtetley 2 months ago
#884 - Hover on qualifed names
Issue -
State: closed - Opened by ybertot 2 months ago
- 1 comment
Labels: enhancement
#876 - Add a button to open and close, and keep close the proof view if used
Issue -
State: closed - Opened by thomas-lamiaux 3 months ago
- 12 comments
Labels: enhancement
#875 - feat: adding option for interpreting to exact cursor position or next command during interpret to point
Pull Request -
State: closed - Opened by Durbatuluk1701 3 months ago
- 17 comments
#870 - improvement for vim navigation
Issue -
State: closed - Opened by qcfu-bu 3 months ago
- 5 comments
Labels: enhancement
#869 - Significant delay between tactic completion and goal space update
Issue -
State: closed - Opened by CharlesAverill 3 months ago
- 5 comments
Labels: enhancement
#868 - feat: add a walkthrough
Pull Request -
State: closed - Opened by rtetley 3 months ago
- 5 comments
#867 - feat: add a a main menu
Pull Request -
State: closed - Opened by rtetley 3 months ago
#859 - Give clear feedback when a proof view is busy computing
Issue -
State: open - Opened by rtetley 3 months ago
- 23 comments
Labels: enhancement
#852 - Command Inspect output is missing a line break
Issue -
State: open - Opened by ybertot 3 months ago
- 1 comment
Labels: bug
#835 - Unsatisfactory line break
Issue -
State: closed - Opened by ybertot 4 months ago
- 4 comments
Labels: bug
#817 - Testing windows CI
Pull Request -
State: open - Opened by rtetley 4 months ago
- 1 comment
#792 - Code Completion Appears Entirely Broken
Issue -
State: open - Opened by zepalmer 5 months ago
- 1 comment
Labels: bug
#770 - VsCoq v2 unsupported command for Restart and Undo
Issue -
State: open - Opened by Chesterhuang1999 6 months ago
- 6 comments
Labels: enhancement
#768 - handling external compilation
Issue -
State: open - Opened by vzaliva 6 months ago
- 5 comments
Labels: enhancement
#752 - Bad alignment in the output of "Print Universes Subgraph"
Issue -
State: closed - Opened by YaZko 8 months ago
- 2 comments
Labels: bug
#709 - problem using vscoq on windows 10 via wsl
Issue -
State: open - Opened by ellisonch 10 months ago
- 3 comments
Labels: bug
#659 - [vscoq2] Integrated search tool in proof view
Issue -
State: open - Opened by thery about 1 year ago
- 3 comments
Labels: enhancement
#643 - Feature request: showing the next bullet
Issue -
State: closed - Opened by toku-sa-n about 1 year ago
- 13 comments
Labels: enhancement
#454 - [VsCoq 2] Slow parsing of files
Issue -
State: closed - Opened by Hjaltesorgenfrei over 1 year ago
- 5 comments
#452 - [VSCoq2] Invalidation is incorrect and yields to a inconsistent state
Issue -
State: closed - Opened by Hjaltesorgenfrei over 1 year ago
- 4 comments
#316 - _CoqProject is only searched in first workspace folder - it should be searched in the workspace folder the current file is in
Issue -
State: open - Opened by MSoegtropIMC almost 2 years ago
- 5 comments
#292 - VsCoq does not ignore comments in _CoqProject
Issue -
State: closed - Opened by MSoegtropIMC over 2 years ago
- 3 comments
Labels: good first issue
#290 - First user feedback after a few minutes when stepping into large file
Issue -
State: closed - Opened by MSoegtropIMC over 2 years ago
- 3 comments
#281 - Print Notices/Error messages etc. in same buffer
Issue -
State: closed - Opened by Alizter over 2 years ago
- 6 comments
#280 - The messages bar is missing?
Issue -
State: closed - Opened by brando90 over 2 years ago
- 6 comments
#214 - jump to definition
Issue -
State: open - Opened by gares over 3 years ago
- 5 comments
Labels: Document Manager, Coq
#100 - Update dependencies
Pull Request -
State: closed - Opened by maximedenes almost 5 years ago
- 2 comments
#100 - Update dependencies
Pull Request -
State: closed - Opened by maximedenes almost 5 years ago
- 2 comments
#99 - Add basic instructions in README
Pull Request -
State: closed - Opened by maximedenes almost 5 years ago
#99 - Add basic instructions in README
Pull Request -
State: closed - Opened by maximedenes almost 5 years ago
#98 - Bump dependencies because of security advisories
Pull Request -
State: closed - Opened by maximedenes almost 5 years ago
#98 - Bump dependencies because of security advisories
Pull Request -
State: closed - Opened by maximedenes almost 5 years ago
#97 - [HoTT] Acquire new setting for executing hoqidetop
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 21 comments
#97 - [HoTT] Acquire new setting for executing hoqidetop
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 21 comments
#96 - No instructions on how to even use this extension.
Issue -
State: closed - Opened by pyrofolium almost 5 years ago
- 3 comments
#96 - No instructions on how to even use this extension.
Issue -
State: closed - Opened by pyrofolium almost 5 years ago
- 3 comments
#95 - Fix #24: Eliminate protocol.ts duplicate in server/client
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 2 comments
#95 - Fix #24: Eliminate protocol.ts duplicate in server/client
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 2 comments
#94 - Convert grammar file to YAML
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 1 comment
#94 - Convert grammar file to YAML
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 1 comment
#93 - Fix #83: Better keybindings
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
#93 - Fix #83: Better keybindings
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
#92 - Recommend latex-input
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 18 comments
#92 - Recommend latex-input
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 18 comments
#91 - [syntax] Allow unicode identifiers
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 3 comments
#91 - [syntax] Allow unicode identifiers
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 3 comments
#90 - Indentation rules
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 9 comments
#90 - Indentation rules
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 9 comments
#89 - [Modernize] Make it easier to hack on the extension from vscode
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 19 comments
#89 - [Modernize] Make it easier to hack on the extension from vscode
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 19 comments
#88 - [configuration.json] Add rules for incr/decr indent
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 2 comments
#88 - [configuration.json] Add rules for incr/decr indent
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
- 2 comments
#87 - [lockfiles] Lock to latest versions
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
#87 - [lockfiles] Lock to latest versions
Pull Request -
State: closed - Opened by artagnon almost 5 years ago
#86 - Coq output should be in --xml_format=Ppcmds
Issue -
State: closed - Opened by gares almost 5 years ago
#86 - Coq output should be in --xml_format=Ppcmds
Issue -
State: closed - Opened by gares almost 5 years ago
#85 - Change keybindings
Issue -
State: closed - Opened by vsiles almost 5 years ago
- 2 comments
#85 - Change keybindings
Issue -
State: closed - Opened by vsiles almost 5 years ago
- 2 comments
#84 - Command line arguments to Coqtop
Issue -
State: closed - Opened by dailler almost 5 years ago
- 3 comments
#84 - Command line arguments to Coqtop
Issue -
State: closed - Opened by dailler almost 5 years ago
- 3 comments
#83 - Suggested shortcuts
Issue -
State: open - Opened by charguer almost 5 years ago
- 18 comments
#83 - Suggested shortcuts
Issue -
State: open - Opened by charguer almost 5 years ago
- 18 comments
#82 - Automatically switching ProofView tab
Issue -
State: closed - Opened by aqjune almost 5 years ago
- 6 comments
#82 - Automatically switching ProofView tab
Issue -
State: closed - Opened by aqjune almost 5 years ago
- 6 comments
#81 - `Set Printing Xyz` options are not honored
Issue -
State: open - Opened by thery about 5 years ago
- 29 comments
#81 - `Set Printing Xyz` options are not honored
Issue -
State: open - Opened by thery about 5 years ago
- 29 comments
#80 - Show number of goals
Issue -
State: closed - Opened by thery about 5 years ago
- 1 comment
Labels: enhancement
#80 - Show number of goals
Issue -
State: closed - Opened by thery about 5 years ago
- 1 comment
Labels: enhancement