diff options
| author |  wuestholz <unknown> | 2013-05-23 17:55:34 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-23 17:55:34 -0700 |
| commit | 59cfcbb7ac83a23e7df3cb1e85c58167fc07af65 (patch) | |
| tree | b52592274f0d2615f26fc79feaff1d97aa0139c6 /.hgignore | |
| parent | ce5332305ddebb41e6235bcf1c5a501c7b93ddd8 (diff) | |
DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., compilation).
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions