syntax/maude.vim

@@ -20,13 +20,13 @@ hi def link maudeFMod maudeMod
 syn keyword maudeSMod smod endsm sth endsth
 hi def link maudeSMod maudeMod
 
-syn keyword maudeView view from to endv
-hi def link maudeView maudeMod
-
 syn keyword maudeIs is
 hi def link maudeIs maudeMod
 
 
+syn keyword maudeView view from to endv
+hi def link maudeView maudeModule
+
 syn keyword maudeImport protecting pr including inc extending ex
 hi def link maudeImport Include
 
@@ -69,24 +69,6 @@ hi def link maudePunc Operator
 syn match maudeDelim '[{}\[\](),]\|\%(^\|\s\)\zs\.\ze\%(\s\|$\)'
 hi def link maudeDelim Delimiter
 
-syn match maudeString /"\%([^"\\]\|\\.\)*"/ contains=maudeStringEsc
-hi def link maudeString String
-
-syn match maudeStringEsc /\\./ contained
-hi def link maudeStringEsc SpecialChar
-
-syn match maudeIdEsc /`[\[\]{}()]\?/
-hi def link maudeIdEsc SpecialChar
-
-syn match maudeQid /''\?\S\+/
-syn match maudeQid /'"\%([^"\\]\|\\.\)*"/ contains=maudeStringEsc
-hi def link maudeQid Constant
-
-syn match maudeNum !\%(^\|\s\)\zs-\?\d\+\%(/\d\+\)\?\ze\%(\s\|$\)!
-syn match maudeNum /\%(^\|\s\)\zs-\?\d\+\.\d\+\%([Ee][+-]\?\d\+\)\?\ze\%(\s\|$\)/
-syn keyword maudeNum Infinity -Infinity
-hi def link maudeNum Number
-
 
 syn keyword maudeCommand load set quit
 hi def link maudeCommand Special