Skip to content

v2.1.2

Latest
Latest
Compare
Choose a tag to compare
@monadius monadius released this 19 Oct 01:00
· 9 commits to master since this release
2.1.2
f2daeb0
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.

Notes from v2.1.0:

  • Added a HOL Light server which enhances the extension capabilities.
  • Improved text highlighting and hover messages with a HOL Light server.
  • HOL Light files can be opened as interactive notebooks (a HOL Light server is required).
  • A special view with search results (a HOL Light server is required).
  • Completion suggestions for imports (e.g., after needs).
  • New command HOL Light: Send All Statements before the Cursor Position to REPL:
    evaluate everything up to the cursor position (default shortcut Alt+A).
  • New command HOL Light: Set Current Working Directory: sets the current working
    directory of a REPL.
  • Removed the configuration option simpleSelection.
Assets 3
Loading