diff options
| author |  wuestholz <unknown> | 2013-07-28 17:59:29 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-28 17:59:29 -0700 |
| commit | 8ebe3f941d07ec4a0700fbb616ae390a4e7a2e67 (patch) | |
| tree | 299684da321cdf59df09f8941abc180ab642c906 /Source/DafnyMenu/DafnyMenu.csproj | |
| parent | 9138e7c13a7161b6431857c6b29157cdcaa26821 (diff) | |
DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.
Diffstat (limited to 'Source/DafnyMenu/DafnyMenu.csproj')
| -rw-r--r-- | Source/DafnyMenu/DafnyMenu.csproj | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Source/DafnyMenu/DafnyMenu.csproj b/Source/DafnyMenu/DafnyMenu.csproj index 8c528f31..c3a1647b 100644 --- a/Source/DafnyMenu/DafnyMenu.csproj +++ b/Source/DafnyMenu/DafnyMenu.csproj @@ -30,9 +30,9 @@ <DefineConstants>DEBUG;TRACE</DefineConstants>
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
- <CopyVsixExtensionFiles>False</CopyVsixExtensionFiles>
<CodeAnalysisRuleSet>AllRules.ruleset</CodeAnalysisRuleSet>
<Prefer32Bit>false</Prefer32Bit>
+ <DeployExtension>False</DeployExtension>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
<DebugType>pdbonly</DebugType>
@@ -56,6 +56,9 @@ </Reference>
</ItemGroup>
<ItemGroup>
+ <Reference Include="Microsoft.VisualStudio.CoreUtility" />
+ <Reference Include="Microsoft.VisualStudio.ComponentModelHost" />
+ <Reference Include="Microsoft.VisualStudio.Editor" />
<Reference Include="Microsoft.VisualStudio.OLE.Interop" />
<Reference Include="Microsoft.VisualStudio.Shell.11.0" />
<Reference Include="Microsoft.VisualStudio.Shell.Immutable.10.0" />
@@ -67,6 +70,9 @@ <Reference Include="Microsoft.VisualStudio.Shell.Interop.9.0" />
<Reference Include="Microsoft.VisualStudio.Shell.Interop.10.0" />
<Reference Include="Microsoft.VisualStudio.Text.Logic" />
+ <Reference Include="Microsoft.VisualStudio.Text.UI" />
+ <Reference Include="Microsoft.VisualStudio.Text.UI.Wpf" />
+ <Reference Include="Microsoft.VisualStudio.TextManager.Interop" />
</ItemGroup>
<ItemGroup>
<Reference Include="PresentationCore" />
@@ -127,12 +133,6 @@ <ItemGroup>
<Folder Include="Resources\" />
</ItemGroup>
- <ItemGroup>
- <ProjectReference Include="..\DafnyExtension\DafnyExtension.csproj">
- <Project>{6e9a5e14-0763-471c-a129-80a879d9e7ba}</Project>
- <Name>DafnyExtension</Name>
- </ProjectReference>
- </ItemGroup>
<PropertyGroup>
<UseCodebase>true</UseCodebase>
</PropertyGroup>
|