11.0 11.0 $(MSBuildExtensionsPath32)\Microsoft\VisualStudio\v$(VisualStudioVersion) 4.0 Debug AnyCPU 2.0 {CA0848D3-3E4F-410E-8AC6-D6125A2B8E30} {82b43b9b-a64c-4715-b499-d71e9ca2bd60};{60dc8134-eba5-43b8-bcc9-bb4bc16c2548};{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC} Library Properties DafnyLanguage.DafnyMenu DafnyMenu false v4.5 true full false ..\..\Binaries\ DEBUG;TRACE prompt 4 AllRules.ruleset false False pdbonly true ..\..\Binaries\ TRACE prompt 4 true false ..\..\Binaries\DafnyPipeline.dll ..\..\..\boogie\Binaries\Model.dll ..\..\..\boogie\Binaries\ModelViewer.dll {80CC9F66-E7D8-4DDD-85B6-D9E6CD0E93E2} 8 0 0 primary False False True True Resources.resx ResXFileCodeGenerator Resources.Designer.cs Designer true VSPackage Designer Designer Menus.ctmenu Designer true