Vim syntax

This directory contains some basic vim files for syntax coloring.

Install

Copy the subdirectories into $HOME/.vim/ (e.g. with cp -r vim/* ~/.vim/).

With vim-plug, the following stanza should work (in .vimrc):

Plug 'digama0/mm0', { 'rtp': 'vim' }

LSP integration (neovim)

Using LanguageClient, just add to your config file:

let g:LanguageClient_serverCommands = {
\ 'metamath-zero': ['mm0-rs', 'server'],
\ }

(there can be other lines for other languages, of course.)