diff --git a/syntax/maude.vim b/syntax/maude.vim index dadc0df..f01b311 100644 --- a/syntax/maude.vim +++ b/syntax/maude.vim @@ -11,8 +11,18 @@ setlocal iskeyword+=- setlocal commentstring=***%s comments=b:***,b:--- -syn keyword maudeModule mod endm fmod endfm th endth fth endfth is -hi def link maudeModule Structure +syn keyword maudeMod mod endm th endth +hi def link maudeMod Structure + +syn keyword maudeFMod fmod endfm fth endfth smod endsm is +hi def link maudeFMod maudeMod + +syn keyword maudeSMod smod endsm sth endsth +hi def link maudeSMod maudeMod + +syn keyword maudeIs is +hi def link maudeIs maudeMod + syn keyword maudeView view from to endv hi def link maudeView maudeModule @@ -39,6 +49,12 @@ hi def link maudeRl maudeEq syn keyword maudeMb mb cmb hi def link maudeMb maudeEq +syn keyword maudeStrat strat strats +hi def link maudeStrat Repeat + +syn keyword maudeSd sd csd +hi def link maudeSd maudeEq + syn keyword maudeIf if syn match maudeIf '/\\' hi def link maudeIf Conditional