[VsCoq 2] Release 2.0.2

Hi everyone,

We are rolling out the latest minor release of VsCoq.

Among other things, this release:

  • Makes various improvements to the goal view (such as auto-scrolling to the current goal)
  • Enables support for multiple byte UTF8 characters (solving known bugs)
  • Adds a status bar item indicating the current user set up (language server version, etc…)

On behalf of the team, I would like to thank the community for helping to improve VsCoq. Special thanks to 4ever2, tlsomers and tomtomjhj for their contributions to this release.

Romain for the VsCoq team