Name changing issue tracker - Githubissues

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Name changing issue tracker #907

Closed rtetley closed 1 week ago

rtetley commented 3 weeks ago

[x] New publisher rocq-prover on vscode market place
[x] New publisher rocq-prover on openvsx registry

rtetley commented 1 week ago

See https://github.com/EclipseFdn/open-vsx.org/issues/2998 for openvsx.