summaryrefslogtreecommitdiff
path: root/Util/Code Snippets/Code snippet documentation.xlsx
Commit message (Expand)AuthorAge
* Boogie: Added a new code snippet for IEnumerable out parametersGravatar tabarbe2010-08-02
* Boogie/Dafny: For those who may have not used custom code snippets before, so...Gravatar tabarbe2010-07-30