Andrei Paskevich 7908605b05 vim-pathogen compliance ...

To install the Why3-related Vim files, just create a symbolic link:
  ln -s "$(why3 --print-datadir)/vim" ~/.vim/bundle/why3

Thanks to Johanness Kanig for the suggestion.

2016-10-18 11:10:11 +02:00

..

why3.vim

vim-pathogen compliance

2016-10-18 11:10:11 +02:00