Debug AnyCPU 9.0.30729 2.0 Library Properties Demo.BoogieLanguageService BoogieLanguageService True Key.snk v4.0 {66E611EE-84D8-4EB9-9A33-164A53E00553} 4.0 publish\ true Disk false Foreground 7 Days false false true 0 1.0.0.%2a false false true true full false bin\Debug\ DEBUG;TRACE prompt 4 AllRules.ruleset pdbonly true bin\Release\ TRACE prompt 4 true AllRules.ruleset False Resources\Irony.dll False C:\Program Files\Microsoft Visual Studio 2010 Beta2 SDK\VisualStudioIntegration\Common\Assemblies\Microsoft.VisualStudio.Package.LanguageService.10.0.dll C:\Program Files\Microsoft Visual Studio 2010 Beta2 SDK\VisualStudioIntegration\Common\Assemblies\Microsoft.VisualStudio.Shell.10.0.dll False C:\Program Files\Microsoft Visual Studio 2010 Beta2 SDK\VisualStudioIntegration\Common\Assemblies\Microsoft.VisualStudio.Shell.Immutable.10.0.dll False True C:\Program Files\Microsoft Visual Studio 2010 Beta2 SDK\VisualStudioIntegration\Common\Assemblies\Microsoft.VisualStudio.Shell.Interop.10.0.dll False ..\..\..\..\..\Program Files\Microsoft Visual Studio 2008 SDK\VisualStudioIntegration\Common\Assemblies\Microsoft.VisualStudio.TextManager.Interop.8.0.dll True True Resources.resx ResXFileCodeGenerator Resources.Designer.cs Designer true Designer False .NET Framework 3.5 SP1 Client Profile false False .NET Framework 3.5 SP1 true False Microsoft Visual Basic PowerPacks 10.0 true False Windows Installer 3.1 true true true