/twelf-vim

Basic vim plugin for Twelf.

Primary LanguageVimL

Issues