# \[VsCoq 2\] Release 2.2.0

**URL:** <https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-0/2426>\
**Category:** Announcements\
**Created:** [September 14, 2024, 9:44am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-0/2426 "2024-09-14T09:44:13Z")\
**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 14, 2024, 9:44am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-0/2426/1 "2024-09-14T09:44:13Z")

</div>

Hi everyone,

We are pleased to announce the next release of VsCoq. You can find a nicely formatted changelog here:

> **[Release v2.2.0 · coq-community/vscoq](https://github.com/coq-community/vscoq/releases/tag/v2.2.0)**
>
> What's Changed
> Added
> Query Panel results formatting
> After externalising our lib to display PpStrings, we now support formatting in the query panel as well as in the goal panel.
> Look forward to more...

We would like to thank the Coq core developers as well as [TDiazT (Tomás Díaz) · GitHub](https://github.com/TDiazT) and [Durbatuluk1701 (Will Thomas) · GitHub](https://github.com/Durbatuluk1701) for their contributions to this release !

Stay tuned for more improvements !

Romain, for the VsCoq team.