doc: update doc after organization change

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Open rtetley opened 1 day ago

gares commented 1 day ago

I think you could be more drastic in the first paragraph, just state that the minimum version, eg

VsCoq is an extension for Visual Studio Code (VS Code) and VSCodium which provides support for the Coq Proof Assistant. VSCoq requires Coq version 8.18 or above (if you are running an older version, you should use vscoq-legacy).

WDYT?

gares commented 1 day ago

Or better mention the legacy repo in the second section, where the lowest bound is declared

rtetley commented 23 hours ago

Yeah sounds good