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.

v1.5.0

Add hover.

v1.4.0

Add signature help.

v1.3.1

Restrict reference discovery to ProVerif files.

v1.3.0

Introduce find all references and rename.

v1.2.4

Maintenance release.

v1.2.3

Improve build processes and greatly reduce extension size (-80%).

v1.2.2

Some administrative changes:

• Moved to the ProVerif organisation
• Update logo

Small feature:

• Support macro navigation