diff --git a/c/pom.xml b/c/pom.xml
index f20a88e6..e5bacbe1 100644
--- a/c/pom.xml
+++ b/c/pom.xml
@@ -4,7 +4,7 @@
org.overturetool.vdm2c
root
- 0.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
diff --git a/c/vdmclib/pom.xml b/c/vdmclib/pom.xml
index 47e51098..567e2978 100644
--- a/c/vdmclib/pom.xml
+++ b/c/vdmclib/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
c
- 0.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
diff --git a/core/pom.xml b/core/pom.xml
index 04d4a638..5373b30d 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -4,7 +4,7 @@
org.overturetool.vdm2c
root
- 0.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
diff --git a/core/vdm2c/pom.xml b/core/vdm2c/pom.xml
index 35ed13fb..f268c636 100644
--- a/core/vdm2c/pom.xml
+++ b/core/vdm2c/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
core
- 0.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
diff --git a/ide/cgen/META-INF/MANIFEST.MF b/ide/cgen/META-INF/MANIFEST.MF
index c378d044..5d0e5bf9 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.0.17.qualifier
+Bundle-Version: 0.0.18
Eclipse-BuddyPolicy: registered
Bundle-Name: C Code Generator
Bundle-ManifestVersion: 2
diff --git a/ide/cgen/pom.xml b/ide/cgen/pom.xml
index 7fbd0dc9..9e2c3de7 100644
--- a/ide/cgen/pom.xml
+++ b/ide/cgen/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
diff --git a/ide/features/cgen/feature.xml b/ide/features/cgen/feature.xml
index 213d8ae6..76553ff1 100644
--- a/ide/features/cgen/feature.xml
+++ b/ide/features/cgen/feature.xml
@@ -2,7 +2,7 @@
+ version="0.0.18">
%description
diff --git a/ide/features/cgen/pom.xml b/ide/features/cgen/pom.xml
index 025c0e42..82198ab7 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.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
diff --git a/ide/features/pom.xml b/ide/features/pom.xml
index 474f89d1..31dcf302 100644
--- a/ide/features/pom.xml
+++ b/ide/features/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
diff --git a/ide/pom.xml b/ide/pom.xml
index 55d2c475..97b8125f 100644
--- a/ide/pom.xml
+++ b/ide/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
root
- 0.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
pom
diff --git a/ide/repository/pom.xml b/ide/repository/pom.xml
index 67eeebc5..de33da66 100644
--- a/ide/repository/pom.xml
+++ b/ide/repository/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.0.17-SNAPSHOT
+ 0.0.18
../pom.xml
diff --git a/pom.xml b/pom.xml
index 0883e7db..a9efbfb6 100644
--- a/pom.xml
+++ b/pom.xml
@@ -13,7 +13,7 @@
root
pom
Overture VDM 2 C Translator Root
- 0.0.17-SNAPSHOT
+ 0.0.18
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.0.18