why3/share/vim/ftdetect/why3.vim at master - why3 - ProxGit

ada/why3

mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00

Files

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

2 lines

52 B

VimL

Raw Permalink Blame History

au BufRead,BufNewFile *.why,*.mlw set filetype=why3