From e704492f579750872501e9954d08a971aab7dc11 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Wed, 16 Mar 2022 04:12:37 +0100 Subject: [PATCH] add strat modules --- syntax/maude.vim | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) 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