smelc/proverif.vim

A vim mode for proverif's .pv files (http://prosecco.gforge.inria.fr/personal/bblanche/proverif/)

语言：VimL · GitHub 星标：3 · Fork：2

在 GitHub 上查看原仓库