-
Notifications
You must be signed in to change notification settings - Fork 4
/
NHol.v10.sln
44 lines (44 loc) · 2.17 KB
/
NHol.v10.sln
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio 2010
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = ".nuget", ".nuget", "{A4D22461-53F4-4971-8AC3-92BC50EEDF15}"
ProjectSection(SolutionItems) = preProject
.nuget\NuGet.Config = .nuget\NuGet.Config
.nuget\NuGet.exe = .nuget\NuGet.exe
.nuget\NuGet.targets = .nuget\NuGet.targets
EndProjectSection
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Tutorial", "Tutorial", "{BD103954-9542-406C-8550-F77D06821792}"
ProjectSection(SolutionItems) = preProject
Tutorial\all.fsx = Tutorial\all.fsx
Tutorial\examples.fsx = Tutorial\examples.fsx
Tutorial\exploration.fsx = Tutorial\exploration.fsx
Tutorial\hol.fsx = Tutorial\hol.fsx
Tutorial\holBasics.fsx = Tutorial\holBasics.fsx
Tutorial\NLogExample.fsx = Tutorial\NLogExample.fsx
Tutorial\theorems_proofs.fsx = Tutorial\theorems_proofs.fsx
EndProjectSection
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "NHol.v10", "NHol\NHol.v10.fsproj", "{2C197CE2-A645-4CD6-8727-4C52ED510138}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "NHol.Tests.v10", "NHol.Tests\NHol.Tests.v10.fsproj", "{E20CF4CB-B066-4F82-924C-A1461E4BB9A6}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{2C197CE2-A645-4CD6-8727-4C52ED510138}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{2C197CE2-A645-4CD6-8727-4C52ED510138}.Debug|Any CPU.Build.0 = Debug|Any CPU
{2C197CE2-A645-4CD6-8727-4C52ED510138}.Release|Any CPU.ActiveCfg = Release|Any CPU
{2C197CE2-A645-4CD6-8727-4C52ED510138}.Release|Any CPU.Build.0 = Release|Any CPU
{E20CF4CB-B066-4F82-924C-A1461E4BB9A6}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{E20CF4CB-B066-4F82-924C-A1461E4BB9A6}.Debug|Any CPU.Build.0 = Debug|Any CPU
{E20CF4CB-B066-4F82-924C-A1461E4BB9A6}.Release|Any CPU.ActiveCfg = Release|Any CPU
{E20CF4CB-B066-4F82-924C-A1461E4BB9A6}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
EndGlobal