Hey everyone,
We are pleased to announce the next release of VsCoq.
This release mainly addresses important fixes.
You can find the change log here: Release v2.2.4 · coq/vscoq · GitHub
Thanks to Durbatuluk1701 (Will Thomas) · GitHub for their contributions !
This will probably be the final release before the renaming in VsRocq !
Stay tuned for some new features soon !
Cheers,
Romain, for the VsCoq / VsRocq team