Skip to content
A vim mode for proverif's .pv files (
Vim script
Branch: master
Clone or download
Pull request Compare This branch is 1 commit ahead of smelc:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.


A vim mode for proverif's .pv files (

To use it, copy proverif.vim to ~/.vim/syntax/

Set the following into your .vimrc for the mode to be applied automatically to files with the .pv extension:

" au BufRead,BufNewFile *.pv setfiletype proverif

Use this to get the colors right (if your terminal does not support 256 colors, install ncurses-term on ubuntu):

" set t_Co=256

Here's the mode in action:

proverif vim mode

You can’t perform that action at this time.