v2.1.6
Pre-release
Pre-release
·
141 commits
to main
since this release
What's Changed
- Update doc. Tweak ci. by @rtetley in #827
- Fix highlight bug by @rtetley in #828
- Stop recomputing display for big goals by @rtetley in #829
- Change default value for vscoq.goals.messages.full to true by @rtetley in #831
- Ellipsis by @rtetley in #834
- Remove display goals from package.json by @rtetley in #840
Full Changelog: v2.1.5...v2.1.6
Contributors
rtetley