# \[VsCoq 2\] Release 2.2.1

**URL:** <https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-1/2433>\
**Category:** Announcements\
**Created:** [September 24, 2024, 6:21am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-1/2433 "2024-09-24T06:21:07Z")\
**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:** [September 24, 2024, 6:21am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-1/2433/1 "2024-09-24T06:21:07Z")

</div>

Hi everyone,

We are pleased to announce the next release of VsCoq.  
You can find a detailed change log here:

> **[Release v2.2.1 · coq-community/vscoq](https://github.com/coq-community/vscoq/releases/tag/v2.2.1)**
>
> What's Changed
> Added
> Better pretty printing library
> The library we built to pretty print terms has been considerably improved. Drawing from Oppen's algorithm we are now much faster at displaying go...

Thanks to [Durbatuluk1701 (Will Thomas) · GitHub](https://github.com/Durbatuluk1701) for his contributions !

Stay tuned for more improvements !

Romain, for the VsCoq team