Proverif Syntax Highlighting
Works for Sublime Text 3 (build >= 3084)
Installation
Copy Proverif-pi.* files to
- Windows:
%APPDATA%\Sublime Text 3\Packages\User\ - Linux:
~/.config/sublime-text-3/Packages/User/ - OS X:
~/Library/Application Support/Sublime Text 3/Packages/User/