Chalice:

* renamed keyword "maxlock" to "waitlevel"
* added -vs switch, for I/O suitable for VS integration

2 files changed, 3 insertions, 3 deletions

diff --git a/Util/Emacs/chalice-mode.el b/Util/Emacs/chalice-mode.el
index dc3d469c..34a95a87 100644
--- a/Util/Emacs/chalice-mode.el
+++ b/Util/Emacs/chalice-mode.el
@@ -38,7 +38,7 @@
         "above" "acc" "acquire" "and" "assert" "assigned" "assume"

         "below" "between" "call" "credit"

         "downgrade" "else" "eval" "exists" "fold" "forall" "fork" "free" "havoc" "holds"

-        "if" "in" "ite" "join" "lock" "lockbottom" "maxlock" "module" "new" "nil"

+        "if" "in" "ite" "join" "lock" "lockbottom" "waitlevel" "module" "new" "nil"

         "old" "rd" "receive" "release" "reorder" "result" "send" "share"

         "this" "unfold" "unfolding" "unshare" "while"

         "false" "true" "null")) . font-lock-keyword-face)

diff --git a/Util/latex/chalice.sty b/Util/latex/chalice.sty
index f9ba5234..4ef98f9c 100644
--- a/Util/latex/chalice.sty
+++ b/Util/latex/chalice.sty
@@ -22,7 +22,7 @@
     if,in,int,invariant,ite,%

     join,%

     lock,lockbottom,lockchange,%

-    maxlock,method,module,%

+    method,module,%

     new,nil,null,%

     old,%

     predicate,%

@@ -31,7 +31,7 @@
     this,token,true,%

     unfold,unfolding,unshare,%

     var,%

-    while},

+    waitlevel,while},

   literate=%

     {=}{{=~}}1%

     {+=}{{+}{=}~}3%