search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Update description of VSCode extensions #226

Closed gares closed 9 months ago

gares commented 9 months ago

The info was outdated. This is a minimal fix.

herbelin commented 9 months ago

Looks good to me (and this is was somehow awaited information to take decisions on #218)

herbelin commented 9 months ago

BTW, does this mean that the VsCoq 1 vs VsCoq 2 difference of terminology disappears and that VsCoq 1 is just considered an old non-lsp variant of VsCoq?

gares commented 9 months ago

I'll leave to the home pages of the projects to detail these things. If we put too much info here it is going to be outdated too soon imo.

herbelin commented 9 months ago

I'll leave to the home pages of the projects to detail these things.

OK. It that I was afraid that the text "Both extensions are based on LSP" led to confusion if VsCoq 1 is still an option.

herbelin commented 9 months ago

we didn't manage to converge on a description that would say more

If you are referring to #218, I should talk with Emilio but it may converge. This PR (#226) is however needed.

gares commented 9 months ago

Done, I let you merge @Zimmi48 / @herbelin !