From 1c56c868e5496b99169a475fc1ef1770ccb9c3fd Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 15 Apr 2016 16:29:26 +0200
Subject: [PATCH] Update vimrc.

---
 vimrc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/vimrc b/vimrc
index 734793a..83cbe93 100644
--- a/vimrc
+++ b/vimrc
@@ -98,6 +98,8 @@ Plug 'LaTeX-Box-Team/LaTeX-Box'
 
 Plug 'nanotech/jellybeans.vim'
 
+Plug 'raichoo/smt-vim'
+
 call plug#end()
 
 filetype plugin indent on
@@ -137,6 +139,8 @@ let g:LatexBox_quickfix = 2
 call tcomment#DefineType('nix', '# %s')
 au syntax tex setl iskeyword+=:
 au syntax tex syn region texZone start="\\begin{clilisting}" end="\\end{clilisting}\|%stopzone\>"
+au syntax tex syn region texZone start="\\begin{tacticslisting}" end="\\end{tacticslisting}\|%stopzone\>"
+au syntax tex syn region texZone start="\\begin{tacticsoutput}" end="\\end{tacticsoutput}\|%stopzone\>"
 
 " better paragraph object for tex files FIXME
 call textobj#user#plugin('latexparagraph', {