diff options
| author |  Jason Koenig <unknown> | 2012-07-30 17:22:28 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-30 17:22:28 -0700 |
| commit | c3f4fae804fe07942cc1f0e4fc6e40b2542de645 (patch) | |
| tree | ec5ddee8d2d2fa8c520cfe8c7bef199e187d0100 /Util/VS2010/DafnyExtension/DafnyExtension/DafnyExtension.csproj | |
| parent | e9534ceb03a09e5524709a6f9112d8c7fb1df711 (diff) | |
Dafny: support opening modules into the local scope
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/DafnyExtension.csproj')
0 files changed, 0 insertions, 0 deletions