diff options
| author |  tabarbe <unknown> | 2010-08-27 15:44:32 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 15:44:32 +0000 |
| commit | 506ce6e08d95c8664857dcb285b8c3f58f5c0bef (patch) | |
| tree | d5adfd106d58f4cfd78c4853f59d021e01ec6387 /Source/Basetypes/Basetypes.sscproj | |
| parent | 084bdf9c8ec1abc3589d2e040531d40d33dcd19d (diff) | |
Boogie: Renaming the Basetypes sources in preparation for my port commit.
Diffstat (limited to 'Source/Basetypes/Basetypes.sscproj')
| -rw-r--r-- | Source/Basetypes/Basetypes.sscproj | 107 |
1 files changed, 0 insertions, 107 deletions
diff --git a/Source/Basetypes/Basetypes.sscproj b/Source/Basetypes/Basetypes.sscproj deleted file mode 100644 index 46901fae..00000000 --- a/Source/Basetypes/Basetypes.sscproj +++ /dev/null @@ -1,107 +0,0 @@ -<?xml version="1.0" encoding="utf-8"?>
-<VisualStudioProject>
- <XEN ProjectType="Local"
- SchemaVersion="1.0"
- Name="Basetypes"
- ProjectGuid="0c692837-77ec-415f-bf04-395e3ed06e9a"
- >
- <Build>
- <Settings ApplicationIcon=""
- AssemblyName="Basetypes"
- OutputType="Library"
- RootNamespace="Basetypes"
- StartupObject=""
- StandardLibraryLocation=""
- TargetPlatform="v2"
- TargetPlatformLocation=""
- >
- <Config Name="Debug"
- AllowUnsafeBlocks="False"
- BaseAddress="285212672"
- CheckForOverflowUnderflow="False"
- ConfigurationOverrideFile=""
- DefineConstants="DEBUG;TRACE"
- DocumentationFile=""
- DebugSymbols="True"
- FileAlignment="4096"
- IncrementalBuild="True"
- Optimize="False"
- OutputPath="bin\debug"
- RegisterForComInterop="False"
- RemoveIntegerChecks="false"
- TreatWarningsAsErrors="False"
- WarningLevel="4"
- CheckContractAdmissibility="True"
- CheckPurity="False"
- />
- <Config Name="Release"
- AllowUnsafeBlocks="false"
- BaseAddress="285212672"
- CheckForOverflowUnderflow="false"
- ConfigurationOverrideFile=""
- DefineConstants="TRACE"
- DocumentationFile=""
- DebugSymbols="false"
- FileAlignment="4096"
- IncrementalBuild="false"
- Optimize="true"
- OutputPath="bin\release"
- RegisterForComInterop="false"
- RemoveIntegerChecks="false"
- TreatWarningsAsErrors="false"
- WarningLevel="4"
- CheckContractAdmissibility="True"
- CheckPurity="False"
- />
- </Settings>
- <References>
- <Reference Name="System"
- AssemblyName="System"
- Private="false"
- />
- <Reference Name="System.Data"
- AssemblyName="System.Data"
- Private="false"
- />
- <Reference Name="System.Xml"
- AssemblyName="System.Xml"
- Private="false"
- />
- <Reference Name="FSharp.Core"
- AssemblyName="FSharp.Core"
- Private="false"
- HintPath="../../Binaries/FSharp.Core.dll"
- />
- <Reference Name="FSharp.PowerPack"
- AssemblyName="FSharp.PowerPack"
- Private="false"
- HintPath="../../Binaries/FSharp.PowerPack.dll"
- />
- </References>
- </Build>
- <Files>
- <Include>
- <File BuildAction="Compile"
- SubType="Code"
- RelPath="BigNum.ssc"
- />
- <File BuildAction="Compile"
- SubType="Code"
- RelPath="Rational.ssc"
- />
- <File BuildAction="Compile"
- SubType="Code"
- RelPath="..\version.ssc"
- />
- <File BuildAction="Compile"
- SubType="Code"
- RelPath="Set.ssc"
- />
- <File BuildAction="Compile"
- SubType="Code"
- RelPath="AssemblyInfo.ssc"
- />
- </Include>
- </Files>
- </XEN>
-</VisualStudioProject>
\ No newline at end of file |