summaryrefslogtreecommitdiff
path: root/Util/VS2010/Boogie/BoogieLanguageService
Commit message (Expand)AuthorAge
* VS2010 integration: fixed typo in Boogie mode (install for .bpl files, not .d...Gravatar rustanleino2010-07-19
* Chalice: Introduced '[[ S ]]' as a shorthand syntax for 'lock (this) { S }'....Gravatar rustanleino2010-07-19