Skip to content

Latest commit

 

History

History

vim

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

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.