Skip to content

v7

Latest
Latest

Choose a tag to compare

View all tags
@segoon segoon released this 28 Sep 05:50
· 3 commits to main since this release
v7
fb78747
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Remove coq-lsp server definition by @segoon in #7
  • Fix Python server launch commands by @segoon in #8

Full Changelog: v6...v7

Contributors

segoon
Assets 2
Loading