Skip to content

Release v2.6.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Jul 16:02
v2.6.0
8323ba0
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • Update Dafny and language server to v3.7.2
  • Feat: Use nightly releases (#196)
  • Feat: Hide either "Show Counterexample" or "Hide Counterexample" from the menu, depending on the state (#191)
  • Fix: Multiline strings correctly highlighted (#202)
  • Fix: Highlighting of nested types (#199)
  • Fix: Missing images for the gutter (#200)
  • Fix: Better dotnet and brew install errors for Mac M1 (#186)
  • Fix: Better installation and java recognition for Mac M1 (#183)
Assets 3
Loading