diff options
| author |  rustanleino <unknown> | 2010-07-06 23:08:37 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-07-06 23:08:37 +0000 |
| commit | 0cd554f0b5c748b76263dac4b4ff8bce559339e4 (patch) | |
| tree | 5662d1b37ebd47901950a1212e408d765a26690a /Util/Emacs | |
| parent | a2844f2e24d7e90ba8fc2f0307a02d6ba68f4c7f (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)
|