Hi everyone,
We are pleased to announce the next release of VsCoq.
This one mainly contains a hot-fix for an annoying bug that would make the server crash after executing through and then editing a parsing error.
You can find the change log here: Release v2.2.5 · coq/vscoq · GitHub
Thanks to KacperFKorban (Kacper Korban) · GitHub and Durbatuluk1701 (Will Thomas) · GitHub for their contributions !
Stay tuned for some now features soon !
Cheers,
Romain, for the VsCoq / VsRocq team