-
Notifications
You must be signed in to change notification settings - Fork 0
/
ProofChecker.sln
102 lines (102 loc) · 6 KB
/
ProofChecker.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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio 2013
VisualStudioVersion = 12.0.31101.0
MinimumVisualStudioVersion = 10.0.40219.1
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Theories", "Theories", "{C2C0D9C7-0076-4F35-B94E-DCF654495C05}"
ProjectSection(SolutionItems) = preProject
Theories\functions.thr = Theories\functions.thr
Theories\geometry.thr = Theories\geometry.thr
Theories\groupoid.thr = Theories\groupoid.thr
Theories\groups.thr = Theories\groups.thr
Theories\groups2.thr = Theories\groups2.thr
Theories\natural_numbers.thr = Theories\natural_numbers.thr
Theories\operations.thr = Theories\operations.thr
Theories\relations.thr = Theories\relations.thr
Theories\rings.thr = Theories\rings.thr
Theories\test.thr = Theories\test.thr
EndProjectSection
EndProject
Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "ProofChecker", "ProofChecker\ProofChecker.vcxproj", "{C1E631BC-8800-40AC-919C-D6A81C39377E}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ProofCheckerEditor", "ProofCheckerEditor\ProofCheckerEditor.csproj", "{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}"
ProjectSection(ProjectDependencies) = postProject
{41C10B92-695C-4B99-A346-9DD466EBCA6D} = {41C10B92-695C-4B99-A346-9DD466EBCA6D}
{C1E631BC-8800-40AC-919C-D6A81C39377E} = {C1E631BC-8800-40AC-919C-D6A81C39377E}
EndProjectSection
EndProject
Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "ProofCheckerTest", "ProofCheckerTest\ProofCheckerTest.vcxproj", "{37D17CC0-FAA7-4706-9EB3-D25794376805}"
ProjectSection(ProjectDependencies) = postProject
{C1E631BC-8800-40AC-919C-D6A81C39377E} = {C1E631BC-8800-40AC-919C-D6A81C39377E}
EndProjectSection
EndProject
Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "CSEnumGenerator", "CSEnumGenerator\CSEnumGenerator.vcxproj", "{41C10B92-695C-4B99-A346-9DD466EBCA6D}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Solution Items", "Solution Items", "{E547C343-6999-4A10-AE72-558604A2D5DA}"
ProjectSection(SolutionItems) = preProject
About ProofChecker.docx = About ProofChecker.docx
PreCommit.bat = PreCommit.bat
ProofCheckerTasks.xlsx = ProofCheckerTasks.xlsx
EndProjectSection
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Win32 = Debug|Win32
Debug|x64 = Debug|x64
Debug|x86 = Debug|x86
Release|Win32 = Release|Win32
Release|x64 = Release|x64
Release|x86 = Release|x86
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Debug|Win32.ActiveCfg = Debug|x64
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Debug|Win32.Build.0 = Debug|x64
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Debug|x64.ActiveCfg = Debug|x64
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Debug|x64.Build.0 = Debug|x64
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Debug|x86.ActiveCfg = Debug|Win32
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Debug|x86.Build.0 = Debug|Win32
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Release|Win32.ActiveCfg = Release|Win32
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Release|Win32.Build.0 = Release|Win32
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Release|x64.ActiveCfg = Release|x64
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Release|x64.Build.0 = Release|x64
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Release|x86.ActiveCfg = Release|Win32
{C1E631BC-8800-40AC-919C-D6A81C39377E}.Release|x86.Build.0 = Release|Win32
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Debug|Win32.ActiveCfg = Debug|x64
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Debug|Win32.Build.0 = Debug|x64
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Debug|x64.ActiveCfg = Debug|x64
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Debug|x64.Build.0 = Debug|x64
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Debug|x86.ActiveCfg = Debug|x86
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Debug|x86.Build.0 = Debug|x86
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Release|Win32.ActiveCfg = Release|x86
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Release|Win32.Build.0 = Release|x86
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Release|x64.ActiveCfg = Release|x64
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Release|x64.Build.0 = Release|x64
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Release|x86.ActiveCfg = Release|x86
{DCC48B42-F6C1-4D86-8EA7-761B99DDB8AF}.Release|x86.Build.0 = Release|x86
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Debug|Win32.ActiveCfg = Debug|x64
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Debug|Win32.Build.0 = Debug|x64
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Debug|x64.ActiveCfg = Debug|x64
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Debug|x64.Build.0 = Debug|x64
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Debug|x86.ActiveCfg = Debug|Win32
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Debug|x86.Build.0 = Debug|Win32
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Release|Win32.ActiveCfg = Release|Win32
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Release|Win32.Build.0 = Release|Win32
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Release|x64.ActiveCfg = Release|x64
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Release|x64.Build.0 = Release|x64
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Release|x86.ActiveCfg = Release|Win32
{37D17CC0-FAA7-4706-9EB3-D25794376805}.Release|x86.Build.0 = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Debug|Win32.ActiveCfg = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Debug|Win32.Build.0 = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Debug|x64.ActiveCfg = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Debug|x86.ActiveCfg = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Debug|x86.Build.0 = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Release|Win32.ActiveCfg = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Release|Win32.Build.0 = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Release|x64.ActiveCfg = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Release|x86.ActiveCfg = Release|Win32
{41C10B92-695C-4B99-A346-9DD466EBCA6D}.Release|x86.Build.0 = Release|Win32
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
EndGlobal