slightly improved syntax file

1 files changed, 13 insertions, 3 deletions

diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim
index 8e1eb9b1..34379f6b 100644
--- a/Util/vim/syntax/dafny.vim
+++ b/Util/vim/syntax/dafny.vim
@@ -1,6 +1,7 @@
 " Vim syntax file
 " Language: Dafny
-" Author: Kuat Yessenov (6/7/2010)
+" Author: Kuat Yessenov
+" Date: 6/24/2010
 
 syntax clear
 syntax case match
@@ -8,14 +9,20 @@ 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 dafnyStatement havoc assume assert return call new 
+syntax keyword dafnyKeyword var ghost returns null static this
 syntax keyword dafnyType int bool seq set
 syntax keyword dafnyLogic requires ensures modifies reads decreases invariant 
-syntax keyword dafnyOperator forall exists old
+syntax keyword dafnyOperator forall exists old fresh
+syntax keyword dafnyBoolean true false
   
 syntax region dafnyString start=/"/ skip=/\\"/ end=/"/
 
 syntax match dafnyComment /\/\/.*/
+syntax region dafnyComment start="/\*" end="\*/"
+
+syntax match dafnyNumber /\d\+\>/
+syntax match dafnyIdentifier /\<\w\+\>/
 
 syntax match dafnyOperator "==>"
 syntax match dafnyOperator "<==>"
@@ -30,4 +37,7 @@ highlight link dafnyType Type
 highlight link dafnyLogic Debug
 highlight link dafnyComment Comment
 highlight link dafnyString String
+highlight link dafnyNumber Number
 highlight link dafnyOperator Operator
+highlight link dafnyStatement Statement
+highlight link dafnyBoolean Boolean