/Source/DafnyMenu/
../
BvdToolWindow.cs
DafnyMenu.csproj
DafnyMenu.vsct
DafnyMenuPackage.cs
GlobalSuppressions.cs
Guids.cs
PkgCmdID.cs
Properties
Resources.Designer.cs
Resources.resx
VSPackage.resx
source.extension.vsixmanifest