diff options
author | rustanleino <unknown> | 2010-08-06 21:37:02 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2010-08-06 21:37:02 +0000 |
commit | be0690cd2e30b881acaad5c8610a0e550a0d55d6 (patch) | |
tree | c6abe3e1594509f5e2e3741e8b41856abd0bfce4 /Source/VCExpr | |
parent | 7ecd4212a11290eafd9af6affe97dcccb1c0e4df (diff) |
Dafny: Fixed VS 2010 mode to really include all Dafny keywords
Diffstat (limited to 'Source/VCExpr')
0 files changed, 0 insertions, 0 deletions