summaryrefslogtreecommitdiff
path: root/Util/VS2010/Dafny/DafnyLanguageService.sln
Commit message (Expand)AuthorAge
* Visual Studio 2010 integration for Dafny and Chalice. See the "How to instal...Gravatar rustanleino2010-07-15