Hi everyone,
We are pleased to announce the next release of VsCoq. You can find a nicely formatted changelog here:
We would like to thank the Coq core developers as well as TDiazT (Tomás Díaz) · GitHub and Durbatuluk1701 (Will Thomas) · GitHub for their contributions to this release !
Stay tuned for more improvements !
Romain, for the VsCoq team.