Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.

2 files changed, 0 insertions, 88 deletions

diff --git a/Util/vim/syntax/chalice.vim b/Util/vim/syntax/chalice.vim
deleted file mode 100644
index 86b65d74..00000000
--- a/Util/vim/syntax/chalice.vim
+++ /dev/null
@@ -1,44 +0,0 @@
-" Vim syntax file
-" Language: Chalice
-" Author: Kuat Yessenov
-" Date: 7/14/2010
-
-syntax clear
-syntax case match
-syntax keyword chaliceFunction function method predicate
-syntax keyword chaliceTypeDef class channel module
-syntax keyword chaliceConditional if then else 
-syntax keyword chaliceRepeat foreach while
-syntax keyword chaliceStatement assert assume call reorder share unshare acquire release lock rd downgrade free fold unfold fork join wait signal send receive 
-syntax keyword chaliceKeyword external var ghost returns where const new between and above below waitlevel lockbottom this result holds refines replaces spec by transforms
-syntax keyword chaliceType int bool string seq token
-syntax keyword chaliceLogic invariant requires ensures lockchange
-syntax keyword chaliceOperator forall exists old fresh old credit acc unfolding in eval ite rd
-syntax keyword chaliceBoolean true false
-  
-syntax region chaliceString start=/"/ skip=/\\"/ end=/"/
-
-syntax match chaliceComment /\/\/.*/
-syntax region chaliceComment start="/\*" end="\*/"
-
-syntax match chaliceNumber /\d\+\>/
-syntax match chaliceIdentifier /\<\w\+\>/
-
-syntax match chaliceOperator "==>"
-syntax match chaliceOperator "<==>"
-syntax match chaliceOperator ":="
-syntax match chaliceOperator "<<"
-
-highlight link chaliceFunction Function
-highlight link chaliceTypeDef Typedef
-highlight link chaliceConditional Conditional
-highlight link chaliceRepeat Repeat
-highlight link chaliceKeyword Keyword
-highlight link chaliceType Type
-highlight link chaliceLogic Debug
-highlight link chaliceComment Comment
-highlight link chaliceString String
-highlight link chaliceNumber Number
-highlight link chaliceOperator Operator
-highlight link chaliceStatement Statement
-highlight link chaliceBoolean Boolean 
diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim
deleted file mode 100644
index 45afbcf0..00000000
--- a/Util/vim/syntax/dafny.vim
+++ /dev/null
@@ -1,44 +0,0 @@
-" Vim syntax file
-" Language: Dafny
-" Author: Kuat Yessenov
-" Date: 6/24/2010
-
-syntax clear
-syntax case match
-syntax keyword dafnyFunction function predicate copredicate method constructor
-syntax keyword dafnyTypeDef class datatype codatatype type iterator
-syntax keyword module import opened as default
-syntax keyword dafnyConditional if then else match case 
-syntax keyword dafnyRepeat while parallel
-syntax keyword dafnyStatement assume assert return yield new print break label where calc
-syntax keyword dafnyKeyword var ghost returns yields null static this refines
-syntax keyword dafnyType bool nat int seq set multiset object array array2 array3 map
-syntax keyword dafnyLogic requires ensures modifies reads decreases invariant 
-syntax keyword dafnyOperator forall exists old fresh choose
-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 "<==>"
-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 dafnyNumber Number
-highlight link dafnyOperator Operator
-highlight link dafnyStatement Statement
-highlight link dafnyBoolean Boolean