diff options
| author |  rustanleino <unknown> | 2010-06-25 21:07:18 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-25 21:07:18 +0000 |
| commit | 065957def8d08b4a08529e18c092ee7087895672 (patch) | |
| tree | ffc5760fa36b8b45191dc18315dd6cfc5040fce1 /Util/latex | |
| parent | 4aa8fe117b03c0cd3781308d9b2c48d7ca9f4aff (diff) | |
Chalice:
* renamed keyword "maxlock" to "waitlevel"
* added -vs switch, for I/O suitable for VS integration
Diffstat (limited to 'Util/latex')
| -rw-r--r-- | Util/latex/chalice.sty | 4 |
1 files changed, 2 insertions, 2 deletions
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%
|