diff options
| author |  wuestholz <unknown> | 2013-05-23 17:55:34 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-23 17:55:34 -0700 |
| commit | 59cfcbb7ac83a23e7df3cb1e85c58167fc07af65 (patch) | |
| tree | b52592274f0d2615f26fc79feaff1d97aa0139c6 /Source/DafnyMenu/source.extension.vsixmanifest | |
| parent | ce5332305ddebb41e6235bcf1c5a501c7b93ddd8 (diff) | |
DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., compilation).
Diffstat (limited to 'Source/DafnyMenu/source.extension.vsixmanifest')
| -rw-r--r-- | Source/DafnyMenu/source.extension.vsixmanifest | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Source/DafnyMenu/source.extension.vsixmanifest b/Source/DafnyMenu/source.extension.vsixmanifest new file mode 100644 index 00000000..08ea6bef --- /dev/null +++ b/Source/DafnyMenu/source.extension.vsixmanifest @@ -0,0 +1,18 @@ +<?xml version="1.0" encoding="utf-8"?>
+<PackageManifest Version="2.0.0" xmlns="http://schemas.microsoft.com/developer/vsx-schema/2011" xmlns:d="http://schemas.microsoft.com/developer/vsx-schema-design/2011">
+ <Metadata>
+ <Identity Id="e1baf989-88a6-4acf-8d97-e0dc243476aa" Version="1.0" Language="en-US" Publisher="Microsoft Research" />
+ <DisplayName>DafnyMenu</DisplayName>
+ <Description xml:space="preserve">This is a menu for interacting with Dafny.</Description>
+ </Metadata>
+ <Installation InstalledByMsi="false">
+ <InstallationTarget Id="Microsoft.VisualStudio.Pro" Version="11.0" />
+ </Installation>
+ <Dependencies>
+ <Dependency Id="Microsoft.Framework.NDP" DisplayName="Microsoft .NET Framework" d:Source="Manual" Version="4.5" />
+ <Dependency Id="Microsoft.VisualStudio.MPF.11.0" DisplayName="Visual Studio MPF 11.0" d:Source="Installed" Version="11.0" />
+ </Dependencies>
+ <Assets>
+ <Asset Type="Microsoft.VisualStudio.VsPackage" d:Source="Project" d:ProjectName="%CurrentProject%" Path="|%CurrentProject%;PkgdefProjectOutputGroup|" />
+ </Assets>
+</PackageManifest>
|