v1.8.1

Improve navigation and doccomment detection.
In .pv.log files, highlight lemmas that cannot be proven or are false.

v1.8.0

Add doccomments: Add (** documentation with two stars **) before entities so the documentation is shown on how. Supports fun, let, letfun, predicate, event, table and define.
Navigate in .pv.log files to the definition of process references (e.g. {21}).

v1.7.1

Use -parse-only if available to improve performance.
Send notification to user if proverif bin is not found.

v1.7.0

Add autocomplete for set statements.
Add new pv.log language, which colors ProVerif output.

v1.6.5

Update dependencies.

v1.6.4

Rework symbol table for more accurate definitions.

v1.6.3

Fix crashes when file has grammar errors.

v1.6.2

Add in to pterm in TextMate grammar and improve word detection.

v1.6.1

Improvements to TextMate grammar and semantic tokens.

v1.6.0

Add language configuration, TextMate grammar and semantic tokens.