/editors

Repository for text editor syntax highlighting

Primary LanguageVim ScriptGNU General Public License v3.0GPL-3.0

editors

Repository for text editor syntax highlighting.

Syntax for Vim

Although this repo contains syntax files for other editors it should work with plugin-managers such as Vundle and Pathogen. Just add this line to the .vimrc:

Plugin "tamarin-prover/editors"

The files

  • filetype.vim
  • syntax/

are for use with Vim.