From 8c3377ee76e5cc4f5a4228f216bde1d03b496d69 Mon Sep 17 00:00:00 2001 From: "Justin M. Keyes" Date: Tue, 7 Nov 2017 03:16:52 +0100 Subject: vim-patch:c572da5f67aa Update runtime files https://github.com/vim/vim/commit/c572da5f67aa5cdbbc127fc6f1d0a42e38468325 --- runtime/syntax/murphi.vim | 38 +++++++++++++++++++------------------- 1 file changed, 19 insertions(+), 19 deletions(-) (limited to 'runtime/syntax/murphi.vim') 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 -" Last Change: 2017 May 3 +" Last Change: 2017 Aug 27 " Version: 2 " Remark: Originally authored by Diego Ongaro @@ -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" -- cgit