Hi everyone,
We are pleased to announce the next minor release of VsCoq.
This release introduces a number of fixes and improves the stability of VsCoq.
We have also added some minor features such as enabling navigation commands in continuous mode.
We’re planning for another release in the coming month, stay tuned for some more improvements !
Romain, for the VsCoq team