rhi
/
maude-vim
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

add strat modules

This commit is contained in:
rhiannon morris 2022-03-16 04:12:37 +01:00
parent d39adb911e
commit e704492f57
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
syntax/maude.vim
View File

@ -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