K/Maude syntax highlighter for vim
To install using vim-plug, add the following to your .vimrc
:
Plug 'kframework/k-editor-support', { 'rtp': 'vim' }
Reload .vimrc
and :PlugInstall
to install the plugin.
Alternatively, if you do not use a package manager, copy (or link) the vim/
subdirectory into your ~/.vim
directory.