summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension.sln
Commit message (Collapse)AuthorAge
* DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., ↵Gravatar wuestholz2013-05-23
| | | | compilation).
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04