Skip to content

Commit 205f671

Browse files
RustanLeinoRustanLeino
committed
Updated VS Extension version to 2.1.0.10108 as well
1 parent 706bbf0 commit 205f671

File tree

2 files changed

+41
-41
lines changed

2 files changed

+41
-41
lines changed

‎Source/DafnyExtension/source.extension.vsixmanifest‎

Lines changed: 22 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -1,25 +1,25 @@
11
<?xml version="1.0" encoding="utf-8"?>
22
<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">
3-
<Metadata>
4-
<Identity Id="6c7ed99a-206a-4937-9e08-b389de175f68" Version="2.0.1.01211" Language="en-US" Publisher="Microsoft Research" />
5-
<DisplayName>DafnyLanguageMode</DisplayName>
6-
<Description xml:space="preserve">This is a language mode for using the Dafny language inside Visual Studio.</Description>
7-
<License>Z3-LICENSE.txt</License>
8-
</Metadata>
9-
<Installation InstalledByMsi="false">
10-
<InstallationTarget Version="[11.0,15.0)" Id="Microsoft.VisualStudio.Pro" />
11-
<InstallationTarget Version="[14.0,15.0)" Id="Microsoft.VisualStudio.Community" />
12-
</Installation>
13-
<Dependencies>
14-
<Dependency Id="Microsoft.Framework.NDP" DisplayName="Microsoft .NET Framework" d:Source="Manual" Version="[4.5,]" />
15-
<Dependency Id="Microsoft.VisualStudio.MPF.11.0" DisplayName="Visual Studio MPF 11.0" d:Source="Installed" Version="11.0" />
16-
</Dependencies>
17-
<Assets>
18-
<Asset Type="Microsoft.VisualStudio.VsPackage" d:Source="Project" d:ProjectName="%CurrentProject%" Path="|%CurrentProject%;PkgdefProjectOutputGroup|" />
19-
<Asset Type="Microsoft.VisualStudio.MefComponent" d:Source="Project" d:ProjectName="%CurrentProject%" Path="|%CurrentProject%|" />
20-
<Asset Type="Microsoft.VisualStudio.VsPackage" d:Source="Project" d:ProjectName="DafnyMenu" Path="|DafnyMenu;PkgdefProjectOutputGroup|" />
21-
</Assets>
22-
<Prerequisites>
23-
<Prerequisite Id="Microsoft.VisualStudio.Component.CoreEditor" Version="[15.0.26606.0,16.0)" DisplayName="Visual Studio core editor" />
24-
</Prerequisites>
3+
<Metadata>
4+
<Identity Id="6c7ed99a-206a-4937-9e08-b389de175f68" Version="2.1.0.10108" Language="en-US" Publisher="Microsoft Research and community" />
5+
<DisplayName>DafnyLanguageMode</DisplayName>
6+
<Description xml:space="preserve">This is a language mode for using the Dafny language inside Visual Studio.</Description>
7+
<License>Z3-LICENSE.txt</License>
8+
</Metadata>
9+
<Installation InstalledByMsi="false">
10+
<InstallationTarget Version="[11.0,15.0)" Id="Microsoft.VisualStudio.Pro" />
11+
<InstallationTarget Version="[14.0,15.0)" Id="Microsoft.VisualStudio.Community" />
12+
</Installation>
13+
<Dependencies>
14+
<Dependency Id="Microsoft.Framework.NDP" DisplayName="Microsoft .NET Framework" d:Source="Manual" Version="[4.5,]" />
15+
<Dependency Id="Microsoft.VisualStudio.MPF.11.0" DisplayName="Visual Studio MPF 11.0" d:Source="Installed" Version="11.0" />
16+
</Dependencies>
17+
<Assets>
18+
<Asset Type="Microsoft.VisualStudio.VsPackage" d:Source="Project" d:ProjectName="%CurrentProject%" Path="|%CurrentProject%;PkgdefProjectOutputGroup|" />
19+
<Asset Type="Microsoft.VisualStudio.MefComponent" d:Source="Project" d:ProjectName="%CurrentProject%" Path="|%CurrentProject%|" />
20+
<Asset Type="Microsoft.VisualStudio.VsPackage" d:Source="Project" d:ProjectName="DafnyMenu" Path="|DafnyMenu;PkgdefProjectOutputGroup|" />
21+
</Assets>
22+
<Prerequisites>
23+
<Prerequisite Id="Microsoft.VisualStudio.Component.CoreEditor" Version="[15.0.26606.0,16.0)" DisplayName="Visual Studio core editor" />
24+
</Prerequisites>
2525
</PackageManifest>

‎Source/DafnyMenu/source.extension.vsixmanifest‎

Lines changed: 19 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
<?xml version="1.0" encoding="utf-8"?>
22
<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">
3-
<Metadata>
4-
<Identity Id="e1baf989-88a6-4acf-8d97-e0dc243476aa" Version="2.0.1.01211" Language="en-US" Publisher="Microsoft Research" />
5-
<DisplayName>DafnyMenu</DisplayName>
6-
<Description xml:space="preserve">This is a menu for interacting with Dafny.</Description>
7-
</Metadata>
8-
<Installation InstalledByMsi="false">
9-
<InstallationTarget Version="[11.0,15.0)" Id="Microsoft.VisualStudio.Pro" />
10-
<InstallationTarget Version="[14.0,15.0)" Id="Microsoft.VisualStudio.Community" />
11-
</Installation>
12-
<Dependencies>
13-
<Dependency Id="Microsoft.Framework.NDP" DisplayName="Microsoft .NET Framework" d:Source="Manual" Version="4.5" />
14-
<Dependency Id="Microsoft.VisualStudio.MPF.11.0" DisplayName="Visual Studio MPF 11.0" d:Source="Installed" Version="11.0" />
15-
</Dependencies>
16-
<Assets>
17-
<Asset Type="Microsoft.VisualStudio.VsPackage" d:Source="Project" d:ProjectName="%CurrentProject%" Path="|%CurrentProject%;PkgdefProjectOutputGroup|" />
18-
</Assets>
19-
<Prerequisites>
20-
<Prerequisite Id="Microsoft.VisualStudio.Component.CoreEditor" Version="[15.0.26606.0,16.0)" DisplayName="Visual Studio core editor" />
21-
</Prerequisites>
3+
<Metadata>
4+
<Identity Id="e1baf989-88a6-4acf-8d97-e0dc243476aa" Version="2.1.0.10108" Language="en-US" Publisher="Microsoft Research and community" />
5+
<DisplayName>DafnyMenu</DisplayName>
6+
<Description xml:space="preserve">This is a menu for interacting with Dafny.</Description>
7+
</Metadata>
8+
<Installation InstalledByMsi="false">
9+
<InstallationTarget Version="[11.0,15.0)" Id="Microsoft.VisualStudio.Pro" />
10+
<InstallationTarget Version="[14.0,15.0)" Id="Microsoft.VisualStudio.Community" />
11+
</Installation>
12+
<Dependencies>
13+
<Dependency Id="Microsoft.Framework.NDP" DisplayName="Microsoft .NET Framework" d:Source="Manual" Version="4.5" />
14+
<Dependency Id="Microsoft.VisualStudio.MPF.11.0" DisplayName="Visual Studio MPF 11.0" d:Source="Installed" Version="11.0" />
15+
</Dependencies>
16+
<Assets>
17+
<Asset Type="Microsoft.VisualStudio.VsPackage" d:Source="Project" d:ProjectName="%CurrentProject%" Path="|%CurrentProject%;PkgdefProjectOutputGroup|" />
18+
</Assets>
19+
<Prerequisites>
20+
<Prerequisite Id="Microsoft.VisualStudio.Component.CoreEditor" Version="[15.0.26606.0,16.0)" DisplayName="Visual Studio core editor" />
21+
</Prerequisites>
2222
</PackageManifest>

0 commit comments

Comments
 (0)