ProVerif Syntax Highlighting for VS Code

Syntax highlighting for ProVerif files

1.0.0

Initial release

ProVerif mascot from Verifpal: Nadim Kobeissi

This extension is free and open source software, licensed under the GNU General Public License, version 3.

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.vscode		.vscode
img		img
syntaxes		syntaxes
.gitattributes		.gitattributes
.gitignore		.gitignore
.vscodeignore		.vscodeignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
language-configuration.json		language-configuration.json
package.json		package.json