summaryrefslogtreecommitdiff
path: root/Util/VS2010
ModeNameSize
d---------Boogie101logplain
d---------Chalice147logplain
d---------Dafny141logplain
d---------DafnyExtension87logplain