Skip to content

v2.0.0
Compare
Choose a tag to compare
@monadius monadius released this 08 Jun 02:13
· 128 commits to master since this release
2.0.0
5c8ea2b
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.

All open HOL Light files and their dependencies are parsed and an index of definitions and modules is created. This index is used for autocompletion, hover info messages, and Go to Definition features.

Assets 3
Loading