summaryrefslogtreecommitdiff
path: root/src/elisp/urweb-mode.el
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-12 10:48:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-12 10:48:01 -0400
commit036679102be68e0f1bb12c3e9a354bb743fde219 (patch)
tree8bf8f954b0b47affb35fe84621933a55dbd3d159 /src/elisp/urweb-mode.el
parent418f655bfaee62e8a371437c7a442a1d08c4c34f (diff)
More indenting
Diffstat (limited to 'src/elisp/urweb-mode.el')
-rw-r--r--src/elisp/urweb-mode.el6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elisp/urweb-mode.el b/src/elisp/urweb-mode.el
index 626fdc63..d32b2a55 100644
--- a/src/elisp/urweb-mode.el
+++ b/src/elisp/urweb-mode.el
@@ -164,11 +164,11 @@ See doc for the variable `urweb-mode-info'."
`(;;(urweb-font-comments-and-strings)
(,(concat "\\<\\(fun\\|and\\)\\s-+\\(\\sw+\\)\\s-+[^ \t\n=]")
(1 font-lock-keyword-face)
- (5 font-lock-function-name-face))
- (,(concat "\\<\\(\\(data\\)?type\\|con\\)\\s-+\\(\\sw+\\)")
+ (2 font-lock-function-name-face))
+ (,(concat "\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)")
(1 font-lock-keyword-face)
(3 font-lock-type-def-face))
- ("\\<\\(val\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
+ ("\\<\\(val\\|table\\|sequence\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
(1 font-lock-keyword-face)
(3 font-lock-variable-name-face))
("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)"