summaryrefslogtreecommitdiff
path: root/Util
ModeNameSize
-rw-r--r--BoogieDafnyBuildandTest.cmd523logplain
d---------Emacs85logplain
d---------VS2010 / Dafny32logplain
d---------latex37logplain
d---------vim37logplain