diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2017-11-07 18:59:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-07 18:59:39 +0100 |
| commit | ae569ea57b1df1b450803b6d23ab8c315dd72e72 (patch) | |
| tree | 89cded2580f6e52dc9bb8b1394184b10c696547f /runtime/syntax/murphi.vim | |
| parent | 06fd32b8ffc437d596a2d82a986220add4315869 (diff) | |
| parent | 8c3377ee76e5cc4f5a4228f216bde1d03b496d69 (diff) | |
| download | rneovim-ae569ea57b1df1b450803b6d23ab8c315dd72e72.tar.gz rneovim-ae569ea57b1df1b450803b6d23ab8c315dd72e72.tar.bz2 rneovim-ae569ea57b1df1b450803b6d23ab8c315dd72e72.zip | |
Merge #7500 'vim-patch: runtime'
Diffstat (limited to 'runtime/syntax/murphi.vim')
| -rw-r--r-- | runtime/syntax/murphi.vim | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/runtime/syntax/murphi.vim b/runtime/syntax/murphi.vim index 5620010f9a..b2faa8c119 100644 --- a/runtime/syntax/murphi.vim +++ b/runtime/syntax/murphi.vim @@ -1,7 +1,7 @@ " Vim syntax file " Language: Murphi model checking language " Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com> -" Last Change: 2017 May 3 +" Last Change: 2017 Aug 27 " Version: 2 " Remark: Originally authored by Diego Ongaro <ongaro@cs.stanford.edu> @@ -105,23 +105,23 @@ syn region murphiComment start="--" end="$" contains=murphiTodo syn region murphiComment start="/\*" end="\*/" contains=murphiTodo " Link the rules to some groups. -highlight link murphiComment Comment -highlight link murphiString String -highlight link murphiNumber Number -highlight link murphiBoolean Boolean -highlight link murphiIdentifier Identifier -highlight link murphiFunction Function -highlight link murphiStatement Statement -highlight link murphiConditional Conditional -highlight link murphiRepeat Repeat -highlight link murphiLabel Label -highlight link murphiOperator Operator -highlight link murphiKeyword Keyword -highlight link murphiType Type -highlight link murphiStructure Structure -highlight link murphiSpecial Special -highlight link murphiDelimiter Delimiter -highlight link murphiError Error -highlight link murphiTodo Todo +hi def link murphiComment Comment +hi def link murphiString String +hi def link murphiNumber Number +hi def link murphiBoolean Boolean +hi def link murphiIdentifier Identifier +hi def link murphiFunction Function +hi def link murphiStatement Statement +hi def link murphiConditional Conditional +hi def link murphiRepeat Repeat +hi def link murphiLabel Label +hi def link murphiOperator Operator +hi def link murphiKeyword Keyword +hi def link murphiType Type +hi def link murphiStructure Structure +hi def link murphiSpecial Special +hi def link murphiDelimiter Delimiter +hi def link murphiError Error +hi def link murphiTodo Todo let b:current_syntax = "murphi" |