diff --git a/c/pom.xml b/c/pom.xml index 941d3a5c..5a709eb2 100644 --- a/c/pom.xml +++ b/c/pom.xml @@ -4,7 +4,7 @@ org.overturetool.vdm2c root - 0.0.21-SNAPSHOT + 0.1.0 ../pom.xml diff --git a/c/vdmclib/pom.xml b/c/vdmclib/pom.xml index 54a4e438..96ba4af8 100644 --- a/c/vdmclib/pom.xml +++ b/c/vdmclib/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c c - 0.0.21-SNAPSHOT + 0.1.0 ../pom.xml diff --git a/core/pom.xml b/core/pom.xml index 696b5d0b..2cc7009d 100644 --- a/core/pom.xml +++ b/core/pom.xml @@ -4,7 +4,7 @@ org.overturetool.vdm2c root - 0.0.21-SNAPSHOT + 0.1.0 ../pom.xml diff --git a/core/vdm2c/pom.xml b/core/vdm2c/pom.xml index f2d70db4..8348f632 100644 --- a/core/vdm2c/pom.xml +++ b/core/vdm2c/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c core - 0.0.21-SNAPSHOT + 0.1.0 ../pom.xml diff --git a/ide/cgen/META-INF/MANIFEST.MF b/ide/cgen/META-INF/MANIFEST.MF index 9e10a685..4a03fcc3 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.21.qualifier +Bundle-Version: 0.1.0 Eclipse-BuddyPolicy: registered Bundle-Name: C Code Generator Bundle-ManifestVersion: 2 diff --git a/ide/cgen/pom.xml b/ide/cgen/pom.xml index 8fb3c647..d8bd47a9 100644 --- a/ide/cgen/pom.xml +++ b/ide/cgen/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c ide - 0.0.21-SNAPSHOT + 0.1.0 ../pom.xml diff --git a/ide/features/cgen/feature.xml b/ide/features/cgen/feature.xml index 6b66a305..673ee1ea 100644 --- a/ide/features/cgen/feature.xml +++ b/ide/features/cgen/feature.xml @@ -2,7 +2,7 @@ + version="0.1.0"> %description diff --git a/ide/features/cgen/pom.xml b/ide/features/cgen/pom.xml index 12822e91..1683d659 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.21-SNAPSHOT + 0.1.0 ../pom.xml diff --git a/ide/features/pom.xml b/ide/features/pom.xml index bd6bd544..9018c2df 100644 --- a/ide/features/pom.xml +++ b/ide/features/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c ide - 0.0.21-SNAPSHOT + 0.1.0 ../pom.xml diff --git a/ide/pom.xml b/ide/pom.xml index c96d1b98..da82e470 100644 --- a/ide/pom.xml +++ b/ide/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c root - 0.0.21-SNAPSHOT + 0.1.0 ../pom.xml pom diff --git a/ide/repository/pom.xml b/ide/repository/pom.xml index 5672d4b5..867cbf25 100644 --- a/ide/repository/pom.xml +++ b/ide/repository/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c ide - 0.0.21-SNAPSHOT + 0.1.0 ../pom.xml diff --git a/pom.xml b/pom.xml index 1570da33..22a90ddc 100644 --- a/pom.xml +++ b/pom.xml @@ -13,7 +13,7 @@ root pom Overture VDM 2 C Translator Root - 0.0.21-SNAPSHOT + 0.1.0 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.0