diff options
| author |  kyessenov <unknown> | 2010-07-19 22:09:10 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-07-19 22:09:10 +0000 |
| commit | 57f87ca70027af0f318d2668ec837fc685f9b4be (patch) | |
| tree | 7c87bfcf0532a98c9352df2903904028aa1120f1 /Source/Boogie.sln | |
| parent | 894b881ed4771504d79f822e153cf06e264c98c1 (diff) | |
Chalice: added sequence containment surface syntax ("in" comparison operator); cleaned up some deprecation warnings; resolved ambiguity with "unfolding ... in" expression
Diffstat (limited to 'Source/Boogie.sln')
0 files changed, 0 insertions, 0 deletions