CHANGELOG.md

Change Log

All notable changes to the ProVerif Syntax Highlighting for VS Code extension will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[1.0.0] - 2021-2-18

Initial Release