diff options
| author |  rustanleino <unknown> | 2010-07-06 23:08:37 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-07-06 23:08:37 +0000 |
| commit | ef3e335bf3caf7c43a6ba915ea4ed4edb0977ed6 (patch) | |
| tree | 1a3542a2ba19f38da22c1991b12ff4bcfeadae90 /Util/Emacs | |
| parent | 1a7842037a68d67db494b060dc73cad60aa31332 (diff) | |
Dafny:
* changed rule about scoping of out-parameters
* added "refines", "replaces", and "by" as keywords in emacs, vim, and latex style files
Diffstat (limited to 'Util/Emacs')
| -rw-r--r-- | Util/Emacs/dafny-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el index 20f4477b..75561d65 100644 --- a/Util/Emacs/dafny-mode.el +++ b/Util/Emacs/dafny-mode.el @@ -31,7 +31,7 @@ `(,(dafny-regexp-opt '(
"class" "datatype" "function" "frame" "ghost" "var" "method" "unlimited"
- "module" "imports" "static"
+ "module" "imports" "static" "refines" "replaces" "by"
"returns" "requires" "ensures" "modifies" "reads" "free"
"invariant" "decreases"
)) . font-lock-builtin-face)
|