Hi everyone,
We are rolling out the latest minor release of VsCoq.
We have mainly been working on stability and bug fixes, in this release you’ll find :
- Some improvements to performance on large files
- Fixing document state invalidation bugs
- Goal view improvements
On behalf of the team we would like to thank the community for helping to improve VsCoq.
Special thanks to dlesbre and tomtomjhj for their contributions to this release.
Romain for the VsCoq team