# \[VsCoq2\] Release 2.1.3

**URL:** <https://discourse.rocq-prover.org/t/vscoq2-release-2-1-3/2343>\
**Category:** Announcements\
**Created:** [June 25, 2024, 8:44am UTC](https://discourse.rocq-prover.org/t/vscoq2-release-2-1-3/2343 "2024-06-25T08:44:59Z")\
**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:** [June 25, 2024, 8:44am UTC](https://discourse.rocq-prover.org/t/vscoq2-release-2-1-3/2343/1 "2024-06-25T08:44:59Z")

</div>

Hi everyone,

We are pleased to announce the next **minor** release of VsCoq.

This release introduces a number of fixes but most notably:

- A new highlight system with better visualisations in manual mode and improved performance  
 ![vscoq_highlights](https://us1.discourse-cdn.com/flex001/uploads/coq/original/1X/2f398b9c20d1e0a6f95ea8f4ae0997b132a7a9d0.gif)
- Note that we now discriminate between “Prepared”, “Processing” and “Processed”, which is helpful when computations take a long time  
 ![vscoq_highlights_delay](https://us1.discourse-cdn.com/flex001/uploads/coq/original/1X/945a4dbda4b3b895c9cd20dc35cdde8cd2ff8520.gif)
- Finally we fixed the goal display with proper **responsive** goal formatting  
 ![goal_format_4](https://us1.discourse-cdn.com/flex001/uploads/coq/original/1X/162ea2ef9e9fa8ffa258138567ee47c61e74ca11.gif)

We would like to thank [@redanaheim](https://github.com/redanaheim), [@JasonGross](https://github.com/JasonGross), [@nbrader](https://github.com/nbrader), [@thomas-lamiaux](https://github.com/thomas-lamiaux) for their contributions, as well as the Coq core team for their adaptations to the evolving Coq API.

Stay tuned for more improvements !

Romain, for the VsCoq team