vscoq

Settings | Report Duplicate

1

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 16 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 23, 2023 — Apr 23, 2024 Showing page 1 of 23 Search / Filter on:
Merge pull request #764 from coq-community/typo	Romain Tetley	More...				1 day ago
package.json: fix typo ("on after" => "one after")	Jason Gross	More...				3 days ago
Merge pull request #763 from coq-community/search-view-bug	Romain Tetley	More...				5 days ago
Correct query panel bug	Romain Tetley	More...				5 days ago
Merge pull request #756 from SkySkimmer/indirect	Romain Tetley	More...				16 days ago
Merge pull request #760 from redanaheim/main	Romain Tetley	More...				22 days ago
Improve flake.nix, add compatibility with pkgs.vscode extensions field	redanaheim	More...				22 days ago
Adapt to coq/coq#18422 (indirect accessor handled through vernactypes)	Gaëtan Gilbert	More...				about 1 month ago
Merge pull request #754 from redanaheim/main	Romain Tetley	More...				about 1 month ago
Add yarn.nix checks	TigerGold59	More...				about 1 month ago
Fix the publish extension CI	Romain Tetley	More...				about 1 month ago
Fix build using flake system	TigerGold59	More...				about 2 months ago
Merge pull request #742 from coq-community/bump-version-2-1-2	Romain Tetley	More...				2 months ago
Merge pull request #739 from coq-community/lib-error-loc	Romain Tetley	More...				2 months ago
Bump version in preparation for release	Romain Tetley	More...				2 months ago
Add optcomp in preparation for coq PR.	Romain Tetley	More...				2 months ago
Merge pull request #740 from coq-community/manual-nav-regression-fix	Romain Tetley	More...				2 months ago
Manual nav fix	Romain Tetley	More...				2 months ago
Capture the correct loc for when an import fails.	Romain Tetley	More...				2 months ago
Merge pull request #738 from coq-community/fix-coq-master-ci	Romain Tetley	More...				2 months ago
Fix CI	Romain Tetley	More...				2 months ago
Merge pull request #722 from ppedrot/prettyp-explicit-env	Gaëtan Gilbert	More...				2 months ago
Merge pull request #735 from coq-community/bump-version-2-1-1	Romain Tetley	More...				2 months ago
Merge pull request #734 from coq-community/nav-commands-continuous-mode	Romain Tetley	More...				2 months ago
Bump version in preparation for release 2.1.1	Romain Tetley	More...				2 months ago
Merge pull request #732 from coq-community/parse-errors	Romain Tetley	More...				2 months ago
Correct broken unit test.	Romain Tetley	More...				2 months ago
Fixing unit tests and refactoring.	Romain Tetley	More...				2 months ago
Clean up document state string	Romain Tetley	More...				2 months ago
Fix warning locs.	Romain Tetley	More...				2 months ago

←
1
2
3
4
5
6
7
8
9
…
22
23
→