From 0f6c682da1c3d15edae87170c6c19f089134ac25 Mon Sep 17 00:00:00 2001
From: Matthew Rocklin <mrocklin@gmail.com>
Date: Wed, 2 May 2012 13:40:33 -0400
Subject: [PATCH 1/2] Added ftdetect/maude.vim file

Connects .maude and .fm files to the syntax file
---
 ftdetect/maude.vim | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 ftdetect/maude.vim

diff --git a/ftdetect/maude.vim b/ftdetect/maude.vim
new file mode 100644
index 0000000..cea0a3b
--- /dev/null
+++ b/ftdetect/maude.vim
@@ -0,0 +1,2 @@
+au BufNewFile,BufRead *.maude set filetype=maude
+au BufNewFile,BufRead *.fm set filetype=maude

From 9e28f9af801938fd205667069e31ddd90e89ac26 Mon Sep 17 00:00:00 2001
From: Matthew Rocklin <mrocklin@gmail.com>
Date: Thu, 10 May 2012 10:28:52 -0500
Subject: [PATCH 2/2] added sort, subsort, and if to maude syntax file

---
 syntax/maude.vim | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/syntax/maude.vim b/syntax/maude.vim
index c794631..6d5eea7 100644
--- a/syntax/maude.vim
+++ b/syntax/maude.vim
@@ -15,7 +15,7 @@ command! -nargs=+ MaudeHiLink hi def link <args>
 
 syn keyword maudeModule     mod fmod omod endm endfm endm is
 syn keyword maudeImports    protecting including extending
-syn keyword maudeSorts      sorts subsorts
+syn keyword maudeSorts      sort sorts subsort subsorts
 syn keyword maudeStatements op ops var vars eq ceq
 syn match   maudeFlags      "\[.*\]"
 syn keyword maudeCommands   reduce
@@ -76,7 +76,7 @@ syn match   maudeSorts      "MatchPair\?"
 syn match   maudeSorts      "Substitution\?"
 
 " From the BOOL module
-syn keyword maudeStatements and or xor not implies
+syn keyword maudeStatements if and or xor not implies
 
 syn keyword maudeLiteral    true false
 syn match   maudeLiteral    "\<\(0[0-7]*\|0[xX]\x\+\|\d\+\)[lL]\=\>"