diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-28 15:04:37 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-28 15:04:37 -0400 |
commit | 81138f15749d9fcd2b6056d4c4cd8c0edc5fce4b (patch) | |
tree | e4e2246dc15a7cbbf067401a21197b6fd17ea95b /src/elisp | |
parent | 488033c82277ffe87f8fbd32ccd52298e0883743 (diff) |
A view query works
Diffstat (limited to 'src/elisp')
-rw-r--r-- | src/elisp/urweb-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elisp/urweb-mode.el b/src/elisp/urweb-mode.el index 2cd27fcc..7f4b0dee 100644 --- a/src/elisp/urweb-mode.el +++ b/src/elisp/urweb-mode.el @@ -137,7 +137,7 @@ See doc for the variable `urweb-mode-info'." "fun" "functor" "if" "include" "of" "open" "let" "in" "rec" "sequence" "sig" "signature" "cookie" "style" - "struct" "structure" "table" "then" "type" "val" "where" + "struct" "structure" "table" "view" "then" "type" "val" "where" "with" "Name" "Type" "Unit") |