diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-06 10:29:55 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 10:29:55 -0500 |
| commit | 12bb99a0ba702af12e89bfe544f2a572e5d4818d (patch) | |
| tree | 5857f5dc14c0b71b191d1a267c9a8fdfcee03810 /src/elisp/urweb-defs.el | |
| parent | 45dee9afc8f0b8030115943af95df499ba8ee13e (diff) | |
Cookies through elaborate
Diffstat (limited to 'src/elisp/urweb-defs.el')
| -rw-r--r-- | src/elisp/urweb-defs.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elisp/urweb-defs.el b/src/elisp/urweb-defs.el index fe4da2e4..5551b7a2 100644 --- a/src/elisp/urweb-defs.el +++ b/src/elisp/urweb-defs.el @@ -108,7 +108,7 @@ notion of \"the end of an outline\".") "datatype" "type" "open" "include" urweb-module-head-syms "con" "fold" "where" "extern" "constraint" "constraints" - "table" "sequence" "class") + "table" "sequence" "class" "cookie") "Symbols starting an sexp.") ;; (defconst urweb-not-arg-start-re @@ -134,7 +134,7 @@ notion of \"the end of an outline\".") (,urweb-=-starter-syms nil) (("case" "datatype" "if" "then" "else" "let" "open" "sig" "struct" "type" "val" - "con" "constraint" "table" "sequence" "class"))))) + "con" "constraint" "table" "sequence" "class" "cookie"))))) (defconst urweb-starters-indent-after (urweb-syms-re "let" "in" "struct" "sig") @@ -188,7 +188,7 @@ for all symbols and in all lines starting with the given symbol." (append urweb-module-head-syms '("datatype" "fun" "open" "type" "val" "and" - "con" "constraint" "table" "sequence" "class")) + "con" "constraint" "table" "sequence" "class" "cookie")) "The starters of new expressions.") (defconst urweb-exptrail-syms |