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…)
Romain for the VsCoq team