diff options
| author |  leino <unknown> | 2014-10-09 18:37:07 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-09 18:37:07 -0700 |
| commit | e39c935b9ea48ef398ea08c3096f1a2a257d8b20 (patch) | |
| tree | b29ab1be712d15b8dd5809a6508a5fb149b39d7a /Util | |
| parent | db5b38bdaa2aeaf6358aa5f92534ecb4a3d6a0a2 (diff) | |
Reformatting of emacs syntax file.
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/Emacs/dafny-mode.el | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el index 6482ff28..ab794e2f 100644 --- a/Util/Emacs/dafny-mode.el +++ b/Util/Emacs/dafny-mode.el @@ -30,20 +30,24 @@ ]\\)*" . font-lock-comment-face)
`(,(dafny-regexp-opt '(
- "class" "datatype" "codatatype" "newtype" "type" "iterator"
- "trait" "extends"
+ "class" "trait" "datatype" "codatatype" "newtype" "type" "iterator"
"function" "predicate" "copredicate"
- "ghost" "var" "method" "lemma" "constructor" "colemma"
- "abstract" "module" "import" "default" "as" "opened" "static" "refines"
- "returns" "yields" "requires" "ensures" "modifies" "reads" "free"
- "invariant" "decreases" "include"
+ "var" "method" "constructor" "lemma" "colemma"
+ "ghost" "static" "abstract"
+ "module" "import" "default" "as" "opened"
+ "include"
+ "extends" "refines" "returns" "yields"
+ "requires" "ensures" "modifies" "reads" "free" "invariant" "decreases"
)) . font-lock-builtin-face)
`(,(dafny-regexp-opt '(
"assert" "assume" "break" "then" "else" "if" "label" "return" "yield"
"while" "print" "where"
"old" "forall" "exists" "new" "calc" "modify" "in" "this" "fresh"
"match" "case" "false" "true" "null")) . font-lock-keyword-face)
- `(,(dafny-regexp-opt '("array" "array2" "array3" "bool" "multiset" "map" "nat" "int" "real" "object" "set" "seq")) . font-lock-type-face)
+ `(,(dafny-regexp-opt '(
+ "bool" "int" "nat" "real"
+ "set" "multiset" "seq" "map"
+ "object" "array" "array2" "array3")) . font-lock-type-face)
)
"Minimal highlighting for Dafny mode")
|