diff src/elisp/urweb-mode.el @ 459:f542bc3133dc

Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 86c063fedc4d
children 8998114760c1
line wrap: on
line diff
--- a/src/elisp/urweb-mode.el	Thu Nov 06 10:04:03 2008 -0500
+++ b/src/elisp/urweb-mode.el	Thu Nov 06 10:29:55 2008 -0500
@@ -136,7 +136,7 @@
 	       "datatype" "else" "end" "extern" "fn" "fold"
 	       "fun" "functor" "if" "include"
 	       "of" "open" "let" "in"
-	       "rec" "sequence" "sig" "signature"
+	       "rec" "sequence" "sig" "signature" "cookie"
 	       "struct" "structure" "table" "then" "type" "val" "where"
 	       "with"
 
@@ -223,7 +223,7 @@
     ("\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)"
      (1 font-lock-keyword-face)
      (3 (amAttribute font-lock-type-def-face)))
-    ("\\<\\(val\\|table\\|sequence\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
+    ("\\<\\(val\\|table\\|sequence\\|cookie\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
      (1 font-lock-keyword-face)
      (3 (amAttribute font-lock-variable-name-face)))
     ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)"