diff --git a/c/pom.xml b/c/pom.xml
index 34b498f8..99d3bd2a 100644
--- a/c/pom.xml
+++ b/c/pom.xml
@@ -4,7 +4,7 @@
org.overturetool.vdm2c
root
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
diff --git a/c/vdmclib/pom.xml b/c/vdmclib/pom.xml
index 32ae9d71..575bd337 100644
--- a/c/vdmclib/pom.xml
+++ b/c/vdmclib/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
c
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
diff --git a/core/pom.xml b/core/pom.xml
index 9275fa9d..7a7eb94d 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -4,7 +4,7 @@
org.overturetool.vdm2c
root
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
diff --git a/core/vdm2c/pom.xml b/core/vdm2c/pom.xml
index a56a31fa..855b44b4 100644
--- a/core/vdm2c/pom.xml
+++ b/core/vdm2c/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
core
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
diff --git a/ide/cgen/META-INF/MANIFEST.MF b/ide/cgen/META-INF/MANIFEST.MF
index 08f60663..e3e46692 100644
--- a/ide/cgen/META-INF/MANIFEST.MF
+++ b/ide/cgen/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
Manifest-Version: 1.0
Bundle-Vendor: Overture
Bundle-ActivationPolicy: lazy
-Bundle-Version: 0.1.7.qualifier
+Bundle-Version: 0.1.8
Eclipse-BuddyPolicy: registered
Bundle-Name: C Code Generator
Bundle-ManifestVersion: 2
diff --git a/ide/cgen/pom.xml b/ide/cgen/pom.xml
index f4547fe8..82af1956 100644
--- a/ide/cgen/pom.xml
+++ b/ide/cgen/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
diff --git a/ide/features/cgen/feature.xml b/ide/features/cgen/feature.xml
index 2c182c0a..9c011f12 100644
--- a/ide/features/cgen/feature.xml
+++ b/ide/features/cgen/feature.xml
@@ -2,7 +2,7 @@
+ version="0.1.8">
%description
diff --git a/ide/features/cgen/pom.xml b/ide/features/cgen/pom.xml
index 579f4f6a..58bcd0ee 100644
--- a/ide/features/cgen/pom.xml
+++ b/ide/features/cgen/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c.ide
org.overturetool.vdm2c.ide.features
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
diff --git a/ide/features/pom.xml b/ide/features/pom.xml
index b92746f2..68306211 100644
--- a/ide/features/pom.xml
+++ b/ide/features/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
diff --git a/ide/pom.xml b/ide/pom.xml
index 81e20bb8..7e55c008 100644
--- a/ide/pom.xml
+++ b/ide/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
root
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
pom
diff --git a/ide/repository/pom.xml b/ide/repository/pom.xml
index 3c8d38ea..bc491c6e 100644
--- a/ide/repository/pom.xml
+++ b/ide/repository/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.1.7-SNAPSHOT
+ 0.1.8
../pom.xml
diff --git a/pom.xml b/pom.xml
index 9348bf3c..e8d323ed 100644
--- a/pom.xml
+++ b/pom.xml
@@ -13,7 +13,7 @@
root
pom
Overture VDM 2 C Translator Root
- 0.1.7-SNAPSHOT
+ 0.1.8
UTF-8
@@ -401,7 +401,7 @@ http://mojo.codehaus.org/versions-maven-plugin/
git@github.com:overturetool/vdm2c.git
scm:git:git://github.com/overturetool/vdm2c.git
scm:git:git@github.com:overturetool/vdm2c.git
- HEAD
+ Release/0.1.8