From c0f61b45a4c778829fed0f65378c23075bd4121d Mon Sep 17 00:00:00 2001
From: kyessenov <unknown>
Date: Mon, 21 Jun 2010 17:15:29 +0000
Subject: A simple highlighting syntax file for Vim.

---
 Util/vim/syntax/dafny.vim | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 Util/vim/syntax/dafny.vim

(limited to 'Util/vim')

diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim
new file mode 100644
index 00000000..8e1eb9b1
--- /dev/null
+++ b/Util/vim/syntax/dafny.vim
@@ -0,0 +1,33 @@
+" Vim syntax file
+" Language: Dafny
+" Author: Kuat Yessenov (6/7/2010)
+
+syntax clear
+syntax case match
+syntax keyword dafnyFunction function method
+syntax keyword dafnyTypeDef class datatype 
+syntax keyword dafnyConditional if then else match case 
+syntax keyword dafnyRepeat for while
+syntax keyword dafnyKeyword var ghost assert returns null return call static
+syntax keyword dafnyType int bool seq set
+syntax keyword dafnyLogic requires ensures modifies reads decreases invariant 
+syntax keyword dafnyOperator forall exists old
+  
+syntax region dafnyString start=/"/ skip=/\\"/ end=/"/
+
+syntax match dafnyComment /\/\/.*/
+
+syntax match dafnyOperator "==>"
+syntax match dafnyOperator "<==>"
+syntax match dafnyOperator "::"
+
+highlight link dafnyFunction Function
+highlight link dafnyTypeDef Typedef
+highlight link dafnyConditional Conditional
+highlight link dafnyRepeat Repeat
+highlight link dafnyKeyword Keyword
+highlight link dafnyType Type
+highlight link dafnyLogic Debug
+highlight link dafnyComment Comment
+highlight link dafnyString String
+highlight link dafnyOperator Operator
-- 
cgit v1.2.3