From 907ade21e4c59fd7eb9b866ced5f50e3c818cf7a Mon Sep 17 00:00:00 2001 From: Peter Dahlberg Date: Fri, 24 Feb 2017 13:26:09 +0100 Subject: [PATCH] add specification automata highlighting --- vim/vimrc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/vim/vimrc b/vim/vimrc index ac95e44..df32312 100644 --- a/vim/vimrc +++ b/vim/vimrc @@ -30,6 +30,8 @@ Plugin 'fisadev/vim-ctrlp-cmdpalette' Plugin 'YankRing.vim' Plugin 'scrooloose/nerdtree' +Plugin 'stephanlukasczyk/vim-syntax-specautomata' + " The following are examples of different formats supported. " Keep Plugin commands between vundle#begin/end. " plugin on GitHub repo