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