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 improvements for the display of PpStrings soon
- feat: externalize pp-display library by @rtetley in #860* Update documentation by @rtetley in #856
- Search UI formatting by @rtetley in #861
New buttons and a menu
We have added the coq commands (in manual mode) as buttons accessible on top of the buffer.
On top of that we have added a main menu to access trouble shooting commands and documentation. This can be a building block for other neat features.
- feat: add buttons for the common coq navigation commands by @rtetley in #865
- feat: add a a main menu by @rtetley in #867
- feat: adding alt + shift click to expand all ellipsis goals by @Durbatuluk1701 in #871
A walkthrough
To improve the onboarding experience, we have added a walkthrough that is available at all times through the Coq: Docs: Show Setup Guide command as well as through the main menu described earlier
Opt out of auto displaying goals
Finally, users can now opt out of the auto display of goals when running through a proof. The proof view is then accessible through the Coq: Display Proof View command, or the corresponding button in the new coq buttons row described earlier.
Bug fixes
Thanks to @Durbatuluk1701 for fixing a bug in which feedback messages were displayed the wrong way around.
- Changing feedback messages to be appended by @Durbatuluk1701 in #874
Misc
A formatter was added for the typscript code and the documentation and changelog were updated. The changelog of the extension now points to this page.
New Contributors
Full Changelog: v2.1.7...v2.2.0
