Skip to content

v2.1.1+coq8.19
Compare
Choose a tag to compare
@github-actions github-actions released this 19 Feb 12:18
· 388 commits to main since this release
v2.1.1+coq8.19
This tag was signed with the committer’s verified signature. The key has expired.
rtetley Romain Tetley
GPG key ID: 0928712CA83F5153
Expired
Learn about vigilant mode.
6036251
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

What's Changed

  • Upgrading language client to latest version by @rtetley in #727
  • Adding goal indicator to tab view by @rtetley in #729
  • Fix parse errors and highlight zone by @rtetley in #732
  • Add api for step navigation in continuous mode. by @rtetley in #734

Full Changelog: v2.1.0+coq8.19...v2.1.1+coq8.19

Contributors

rtetley
Assets 3
Loading