summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu/Resources.resx
Commit message (Expand)AuthorAge
* DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...Gravatar wuestholz2013-05-23