/Util/VS2010/Dafny/DafnyLanguageService/

• ../
• Configuration.cs
• DafnyLanguageService.csproj
• GlobalSuppressions.cs
• Grammar.cs
• Guids.cs
• Integration
• IronyLanguageServicePackage.cs
• Key.snk
• Properties
• Resources.Designer.cs
• Resources.resx
• Resources
• VSPackage.resx
• source.extension.vsixmanifest