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
- Note that we now discriminate between “Prepared”, “Processing” and “Processed”, which is helpful when computations take a long time
- Finally we fixed the goal display with proper responsive goal formatting
We would like to thank @redanaheim, @JasonGross, @nbrader, @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