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/VCExprAST.ssc | |
| parent | 7ecd4212a11290eafd9af6affe97dcccb1c0e4df (diff) | |
Dafny: Fixed VS 2010 mode to really include all Dafny keywords
Diffstat (limited to 'Source/VCExpr/VCExprAST.ssc')
0 files changed, 0 insertions, 0 deletions