diff options
| author |  rustanleino <unknown> | 2010-07-06 23:08:37 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-07-06 23:08:37 +0000 |
| commit | 0cd554f0b5c748b76263dac4b4ff8bce559339e4 (patch) | |
| tree | 5662d1b37ebd47901950a1212e408d765a26690a /Util/vim | |
| parent | a2844f2e24d7e90ba8fc2f0307a02d6ba68f4c7f (diff) | |
Dafny:
* changed rule about scoping of out-parameters
* added "refines", "replaces", and "by" as keywords in emacs, vim, and latex style files
Diffstat (limited to 'Util/vim')
| -rw-r--r-- | Util/vim/syntax/dafny.vim | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim index 34379f6b..a6bccaa4 100644 --- a/Util/vim/syntax/dafny.vim +++ b/Util/vim/syntax/dafny.vim @@ -8,9 +8,9 @@ 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 dafnyStatement havoc assume assert return call new -syntax keyword dafnyKeyword var ghost returns null static this +syntax keyword dafnyRepeat foreach while +syntax keyword dafnyStatement havoc assume assert return call new print break label +syntax keyword dafnyKeyword var ghost returns null static this refines replaces by syntax keyword dafnyType int bool seq set syntax keyword dafnyLogic requires ensures modifies reads decreases invariant syntax keyword dafnyOperator forall exists old fresh |