[VsCoq] Release 2.2.5

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