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