Skip to content

v0.3.0
Compare
Choose a tag to compare
@monadius monadius released this 04 Apr 03:32
· 251 commits to master since this release
0.3.0
220050c
This commit was signed with the committer’s verified signature. The key has expired.
monadius Alexey Solovyev
GPG key ID: 31D0F7E1D721144C
Expired
Learn about vigilant mode.
  • A new algorithm for selecting statements and HOL terms which correctly handles comments and string literals.
  • Improved syntax highlighting for HOL type annotations.
Assets 3
Loading