/Util/VS2010/Boogie/BoogieLanguageService/
../
BoogieLanguageService.csproj
Configuration.cs
GlobalSuppressions.cs
Grammar.cs
Guids.cs
Integration
IronyLanguageServicePackage.cs
Key.snk
Properties
Resources.Designer.cs
Resources.resx
Resources
VSPackage.resx
source.extension.vsixmanifest