summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu
ModeNameSize
-rw-r--r--BvdToolWindow.cs2258logplain
-rw-r--r--DafnyMenu.csproj8304logplain
-rw-r--r--DafnyMenu.vsct8179logplain
-rw-r--r--DafnyMenuPackage.cs14462logplain
-rw-r--r--GlobalSuppressions.cs692logplain
-rw-r--r--Guids.cs879logplain
-rw-r--r--PkgCmdID.cs517logplain
d---------Properties43logplain
-rw-r--r--Resources.Designer.cs2852logplain
-rw-r--r--Resources.resx6305logplain
-rw-r--r--VSPackage.resx5817logplain
-rw-r--r--source.extension.vsixmanifest1139logplain