• Andrei Paskevich's avatar
    vim-pathogen compliance · 7908605b
    Andrei Paskevich authored
    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.
    7908605b
Name
Last commit
Last update
..
bash Loading commit data...
emacs Loading commit data...
images Loading commit data...
lang Loading commit data...
latex Loading commit data...
vim Loading commit data...
zsh Loading commit data...
provers-detection-data.conf Loading commit data...
strategies.conf Loading commit data...
why3session.dtd Loading commit data...