diff options
| author |  tabarbe <unknown> | 2010-07-14 18:04:30 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-14 18:04:30 +0000 |
| commit | b150fe486307d148df8bd00fc9535682167c7e7f (patch) | |
| tree | a5c30e58576a51e880f2871b5b0304d0203f37b5 /Source/Boogie.sln | |
| parent | 3b89a8402494211a07d059ca204b7105e888351c (diff) | |
Boogie/Isabelle: Committing Isabelle port
Diffstat (limited to 'Source/Boogie.sln')
| -rw-r--r-- | Source/Boogie.sln | 27 |
1 files changed, 14 insertions, 13 deletions
diff --git a/Source/Boogie.sln b/Source/Boogie.sln index f9148288..33bad345 100644 --- a/Source/Boogie.sln +++ b/Source/Boogie.sln @@ -23,10 +23,10 @@ Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "VCExpr", "VCExpr\VCExpr.ssc EndProject
Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "VCGeneration", "VCGeneration\VCGeneration.sscproj", "{F65666DE-FB56-457C-8782-09BE243450FC}"
EndProject
-Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "Isabelle", "Provers\Isabelle\Isabelle.sscproj", "{C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}"
-EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "BoogieDriver", "BoogieDriver\BoogieDriver.csproj", "{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}"
EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Isabelle", "Provers\Isabelle\Isabelle.csproj", "{435D5BD0-6F62-49F8-BB24-33E2257519AD}"
+EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|.NET = Debug|.NET
@@ -137,16 +137,6 @@ Global {F65666DE-FB56-457C-8782-09BE243450FC}.Release|Any CPU.ActiveCfg = Release|.NET
{F65666DE-FB56-457C-8782-09BE243450FC}.Release|Mixed Platforms.ActiveCfg = Release|.NET
{F65666DE-FB56-457C-8782-09BE243450FC}.Release|Mixed Platforms.Build.0 = Release|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Debug|.NET.ActiveCfg = Debug|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Debug|.NET.Build.0 = Debug|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Debug|Any CPU.ActiveCfg = Debug|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Debug|Mixed Platforms.ActiveCfg = Debug|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Debug|Mixed Platforms.Build.0 = Debug|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Release|.NET.ActiveCfg = Release|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Release|.NET.Build.0 = Release|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Release|Any CPU.ActiveCfg = Release|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Release|Mixed Platforms.ActiveCfg = Release|.NET
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Release|Mixed Platforms.Build.0 = Release|.NET
{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|.NET.ActiveCfg = Debug|Any CPU
{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|.NET.Build.0 = Debug|Any CPU
{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
@@ -158,6 +148,17 @@ Global {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Release|Any CPU.Build.0 = Release|Any CPU
{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Debug|.NET.ActiveCfg = Debug|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Debug|.NET.Build.0 = Debug|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Release|.NET.ActiveCfg = Release|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Release|Any CPU.Build.0 = Release|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD}.Release|Mixed Platforms.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
@@ -166,6 +167,6 @@ Global {F75666DE-FB56-457C-8782-09BE243450FC} = {B758C1E3-824A-439F-AA2F-0BA1143E8C8D}
{F75666DE-CD56-457C-8782-09BE243450FC} = {B758C1E3-824A-439F-AA2F-0BA1143E8C8D}
{13C3A68C-462A-4CDA-A480-738046E37C5A} = {B758C1E3-824A-439F-AA2F-0BA1143E8C8D}
- {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36} = {B758C1E3-824A-439F-AA2F-0BA1143E8C8D}
+ {435D5BD0-6F62-49F8-BB24-33E2257519AD} = {B758C1E3-824A-439F-AA2F-0BA1143E8C8D}
EndGlobalSection
EndGlobal
|