diff options
| author |  rustanleino <unknown> | 2009-09-15 19:04:52 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-09-15 19:04:52 +0000 |
| commit | 9e7c3594b662f1c3102d419104da453d83eddfcd (patch) | |
| tree | 35531361bb10ffa6b21751771429a2a04784f202 /Util/Emacs | |
| parent | 6fa676b575e1ba70c03b258420f29ad74b821b54 (diff) | |
Dafny: Added axioms for division and modulo.
Dafny: Make use of function preconditions in function well-definedness checks.
Chalice: Changed old "install" to current "reorder" keyword in Emacs mode.
Diffstat (limited to 'Util/Emacs')
| -rw-r--r-- | Util/Emacs/chalice-mode.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Util/Emacs/chalice-mode.el b/Util/Emacs/chalice-mode.el index 7a6b6d4c..dc3d469c 100644 --- a/Util/Emacs/chalice-mode.el +++ b/Util/Emacs/chalice-mode.el @@ -38,8 +38,8 @@ "above" "acc" "acquire" "and" "assert" "assigned" "assume"
"below" "between" "call" "credit"
"downgrade" "else" "eval" "exists" "fold" "forall" "fork" "free" "havoc" "holds"
- "if" "in" "install" "ite" "join" "lock" "lockbottom" "maxlock" "module" "new" "nil"
- "old" "rd" "receive" "release" "result" "send" "share"
+ "if" "in" "ite" "join" "lock" "lockbottom" "maxlock" "module" "new" "nil"
+ "old" "rd" "receive" "release" "reorder" "result" "send" "share"
"this" "unfold" "unfolding" "unshare" "while"
"false" "true" "null")) . font-lock-keyword-face)
`(,(chalice-regexp-opt '("bool" "int" "seq" "token")) . font-lock-type-face)
|