fix(vim): small fixes

2015-09-01 18:45:40 +02:00 · 2015-09-01 18:45:40 +02:00 · 0a307bf76c
commit 0a307bf76c
parent 94b68a8263
2 changed files with 1 additions and 2 deletions
--- 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
--- 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 → ∃ ∀