# \[VsCoq 2\] Release 2.0.3

**URL:** <https://discourse.rocq-prover.org/t/vscoq-2-release-2-0-3/2118>\
**Category:** Announcements\
**Created:** [December 5, 2023, 4:38pm UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-0-3/2118 "2023-12-05T16:38:08Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![rtetley](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/rtetley/32/863_2.png) [@rtetley](https://discourse.rocq-prover.org/u/rtetley)\
**Post date:** [December 5, 2023, 4:38pm UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-0-3/2118/1 "2023-12-05T16:38:08Z")

</div>

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](https://github.com/dlesbre) and [tomtomjhj](https://github.com/tomtomjhj) for their contributions to this release.

Romain for the VsCoq team