From 0a307bf76cdf063c61557537bd6384626ac3df5d Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 1 Sep 2015 18:45:40 +0200
Subject: [PATCH] fix(vim): small fixes

---
 src/vim/ftdetect/lean.vim | 1 -
 src/vim/syntax/lean.vim   | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/vim/ftdetect/lean.vim b/src/vim/ftdetect/lean.vim
index 128caeb3b..9c7873a29 100644
--- a/src/vim/ftdetect/lean.vim
+++ b/src/vim/ftdetect/lean.vim
@@ -1,2 +1 @@
-au BufRead,BufNewFile *.ilean set ft=lean
 au BufRead,BufNewFile *.lean set ft=lean
diff --git a/src/vim/syntax/lean.vim b/src/vim/syntax/lean.vim
index a67965d8f..ba49d29a4 100644
--- a/src/vim/syntax/lean.vim
+++ b/src/vim/syntax/lean.vim
@@ -39,7 +39,7 @@ syn match leanOp        ":"
 syn match leanOp        "="
 
 " constants
-syn keyword leanConstant # @ -> ∼ ↔ / == := <-> /\\ \\/ ∧ ∨
+syn keyword leanConstant "#" "@" "->" "∼" "↔" "/" "==" ":=" "<->" "/\\" "\\/" "∧" "∨"
 syn keyword leanConstant ≠ < > ≤ ≥ ¬ <= >= ⁻¹ ⬝ ▸ + * - / λ
 syn keyword leanConstant → ∃ ∀