From 20b824270e93acf438284e8c2dd5a3c44afdc0d8 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sun, 14 Aug 2016 20:45:21 +0200
Subject: [PATCH] vim: fix lean syntax highlighting

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

diff --git a/vimrc b/vimrc
index eb0be35..ed20117 100644
--- a/vimrc
+++ b/vimrc
@@ -96,8 +96,14 @@ Plug 'c-cube/vim-tptp'
 
 Plug 'LaTeX-Box-Team/LaTeX-Box'
 
+Plug 'SirVer/ultisnips'
+Plug 'honza/vim-snippets'
+
 Plug 'nanotech/jellybeans.vim'
 
+Plug '~/dgapt', { 'rtp': 'vim' }
+Plug '~/lean', { 'rtp': 'src/vim' }
+
 Plug 'raichoo/smt-vim'
 
 Plug 'tkztmk/vim-vala'