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