# \[VsCoq 2\] Release 2.0.2

**URL:** <https://discourse.rocq-prover.org/t/vscoq-2-release-2-0-2/2075>\
**Category:** Announcements\
**Created:** [October 17, 2023, 5:57am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-0-2/2075 "2023-10-17T05:57:47Z")\
**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:** [October 17, 2023, 5:57am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-0-2/2075/1 "2023-10-17T05:57:47Z")

</div>

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

Romain for the VsCoq team