/Source/DafnyMenu/

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