Skip to content

Kind 2 VS Code Extension 0.8.1

Pre-release
Pre-release
Compare
Choose a tag to compare
@daniel-larraz daniel-larraz released this 22 Jun 02:56
· 48 commits to main since this release
v0.8.1
39b6fb4
  • Include kind2-language-server (missing in v0.8.0)
Assets 2
Loading