summaryrefslogtreecommitdiff
path: root/Util/VS2010/Boogie/BoogieLanguageService/source.extension.vsixmanifest
blob: 4a64ecc25d042c4d3dc2efddc8438a788811a4a5 (plain)
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
<?xml version="1.0" encoding="utf-8"?>
<Vsix xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema" Version="1.0.0" xmlns="http://schemas.microsoft.com/developer/vsx-schema/2010">

  <Identifier Id="BoogieService.MicrosoftResearch.A38156F6-63DF-4E3C-8D23-07D3DE0D3388">
    <Name>BoogieService</Name>
    <Author>Microsoft Research</Author>
    <Version>1.0</Version>
    <Description>Information about my package</Description>
    <Locale>1033</Locale>
    <!--<InstalledByMSI>false</InstalledByMSI>-->
    <SupportedProducts>
      <VisualStudio Version="10.0">
        <Edition>Pro</Edition>
        <Edition>VST_All</Edition>
      </VisualStudio>
    </SupportedProducts>
    <SupportedFrameworkRuntimeEdition MinVersion="2.0" MaxVersion="4.0" />
  </Identifier>

  <References/>

  <Content>
    <VsPackage>
      BoogieService.pkgdef
    </VsPackage>
  </Content>
</Vsix>