11.0 11.0 $(MSBuildExtensionsPath32)\Microsoft\VisualStudio\v$(VisualStudioVersion) 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 False AllRules.ruleset false pdbonly true bin\Release\ TRACE prompt 4 true false ..\..\Binaries\DafnyPipeline.dll True ..\..\..\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 {6e9a5e14-0763-471c-a129-80a879d9e7ba} DafnyExtension true