diff options
author | 2011-02-08 21:52:18 +0000 | |
---|---|---|
committer | 2011-02-08 21:52:18 +0000 | |
commit | 8aafce0827fa6e8f0911c36cddc1fca698a490a2 (patch) | |
tree | 1eddced7713198860284b2185a3ec1c962fbce5c /Source/Dafny.sln | |
parent | aaeb90e3a343bf0d159dc7d6ae6c86114f9fccf4 (diff) |
Added support for translating delegates
Diffstat (limited to 'Source/Dafny.sln')
0 files changed, 0 insertions, 0 deletions