A vim mode for proverif's .pv files (https://prosecco.gforge.inria.fr/personal/bblanche/proverif/)
To use it, use your favourite package manager. I.e., something like the following:
" ~/.vimrc
Plugin 'zoonfafer/proverif.vim'or
" ~/.vimrc
NeoBundleInstall 'zoonfafer/proverif.vim'or
$ cd ~/.vim/bundle && \
git clone https://github.com/zoonfafer/proverif.vimHere's the mode in action:
Original author: https://github.com/smelc/proverif.vim