Bump ide/ to version 2.1.2

overturetool · Oct 9, 2014 · 8e0bacc · 8e0bacc
1 parent 05ae4ec
commit 8e0bacc
Show file tree

Hide file tree

Showing 107 changed files with 113 additions and 118 deletions.
diff --git a/ide/builders/pom.xml b/ide/builders/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/builders/vdmj/META-INF/MANIFEST.MF b/ide/builders/vdmj/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin

diff --git a/ide/builders/vdmj/pom.xml b/ide/builders/vdmj/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.builders</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/core/META-INF/MANIFEST.MF b/ide/core/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin

diff --git a/ide/core/pom.xml b/ide/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/debug/META-INF/MANIFEST.MF b/ide/debug/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin

diff --git a/ide/debug/pom.xml b/ide/debug/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/core/feature.xml b/ide/features/core/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.features.core"
       label="Overture Core"
-      version="2.1.1.qualifier"
+      version="2.1.2"
       plugin="org.overture.ide.platform">
 
    <description>

diff --git a/ide/features/core/pom.xml b/ide/features/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>features</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/pom.xml b/ide/features/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/rcp/feature.xml b/ide/features/rcp/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.features.rcp"
       label="Overture RCP"
-      version="2.1.1.qualifier">
+      version="2.1.2">
 
    <description>
       %description

diff --git a/ide/features/rcp/pom.xml b/ide/features/rcp/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>features</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/help/META-INF/MANIFEST.MF b/ide/help/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin

diff --git a/ide/help/pom.xml b/ide/help/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/parsers/pom.xml b/ide/parsers/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/parsers/vdmj/META-INF/MANIFEST.MF b/ide/parsers/vdmj/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.parsers.vdmj

diff --git a/ide/parsers/vdmj/pom.xml b/ide/parsers/vdmj/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.parsers</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/platform/META-INF/MANIFEST.MF b/ide/platform/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: org.overture.ide.platform
 Bundle-SymbolicName: org.overture.ide.platform;singleton:=true
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Bundle-Localization: plugin
 Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.ui,

diff --git a/ide/platform/pom.xml b/ide/platform/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/codegen/META-INF/MANIFEST.MF b/ide/plugins/codegen/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Bundle-Name: Code Generator
 Bundle-ManifestVersion: 2

diff --git a/ide/plugins/codegen/pom.xml b/ide/plugins/codegen/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF b/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin

diff --git a/ide/plugins/combinatorialtesting/pom.xml b/ide/plugins/combinatorialtesting/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/coverageeditor/META-INF/MANIFEST.MF b/ide/plugins/coverageeditor/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.coverageeditor

diff --git a/ide/plugins/coverageeditor/pom.xml b/ide/plugins/coverageeditor/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/csk/META-INF/MANIFEST.MF b/ide/plugins/csk/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.csk

diff --git a/ide/plugins/csk/pom.xml b/ide/plugins/csk/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/developerutils/META-INF/MANIFEST.MF b/ide/plugins/developerutils/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: Developer Utilities for Overture

diff --git a/ide/plugins/developerutils/pom.xml b/ide/plugins/developerutils/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/externaleditor/META-INF/MANIFEST.MF b/ide/plugins/externaleditor/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.1.1.qualifier
+Bundle-Version: 2.1.2
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.externaleditor

diff --git a/ide/plugins/externaleditor/pom.xml b/ide/plugins/externaleditor/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/features/codegen/feature.xml b/ide/plugins/features/codegen/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.codegen"
       label="Code Generator"
-      version="2.1.1.qualifier">
+      version="2.1.2">
 
    <description>
       %description

diff --git a/ide/plugins/features/codegen/pom.xml b/ide/plugins/features/codegen/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/features/combinatorialtesting/feature.xml b/ide/plugins/features/combinatorialtesting/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.combinatorialtesting"
       label="Combinatorial Testing"
-      version="2.1.1.qualifier">
+      version="2.1.2">
 
    <description>
       %description

diff --git a/ide/plugins/features/combinatorialtesting/pom.xml b/ide/plugins/features/combinatorialtesting/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/features/coverageeditor/feature.xml b/ide/plugins/features/coverageeditor/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.coverageeditor"
       label="Coverage Editor"
-      version="2.1.1.qualifier">
+      version="2.1.2">
 
    <description>
       %description

diff --git a/ide/plugins/features/coverageeditor/pom.xml b/ide/plugins/features/coverageeditor/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/features/csk/feature.xml b/ide/plugins/features/csk/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.csk"
       label="CSK VDM Tools link"
-      version="2.1.1.qualifier">
+      version="2.1.2">
 
   <description>
       %description

diff --git a/ide/plugins/features/csk/pom.xml b/ide/plugins/features/csk/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/features/developerutils/feature.xml b/ide/plugins/features/developerutils/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.developerutils"
       label="Overture Developer Utils"
-      version="2.1.1.qualifier">
+      version="2.1.2">
 
    <description>
       %description

diff --git a/ide/plugins/features/developerutils/pom.xml b/ide/plugins/features/developerutils/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/features/latex/feature.xml b/ide/plugins/features/latex/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.latex"
       label="VDM Latex Documentation Creator"
-      version="2.1.1.qualifier">
+      version="2.1.2">
 
    <description>
       %description

diff --git a/ide/plugins/features/latex/pom.xml b/ide/plugins/features/latex/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/features/pom.xml b/ide/plugins/features/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.1.1-SNAPSHOT</version>
+    <version>2.1.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>