[VsCoq] Release 2.1.4

Announcements
1

Hey everyone,

We are rolling out another minor release of VsCoq.
This is just to get a few blocking display and server bugs fixed quickly.

Note that this version is compatible with vscoq-language-server v2.1.3, so it will still work even though we are waiting for the release on opam of v2.1.4.

Thanks to @FissoreD, @Durbatuluk1701 for their contributions as well as the Coq Core team for their adaptations to the Coq API.

Stay tuned !
Cheers,
Romain, for the VsCoq team

2 Likes