From 3380d0c6dde8eb319e7e1f2a2322b0db118354ac Mon Sep 17 00:00:00 2001 From: Kenneth Lausdahl Date: Mon, 4 Jul 2016 09:14:58 +0200 Subject: [PATCH] [maven-release-plugin] prepare release Release/2.3.8 Bump ide/ to version 2.3.8 --- core/ast/pom.xml | 2 +- core/codegen/codegen-maven-plugin/pom.xml | 2 +- core/codegen/codegen-runtime/pom.xml | 2 +- core/codegen/ir/pom.xml | 2 +- core/codegen/isagen/pom.xml | 2 +- core/codegen/javagen-test/pom.xml | 2 +- core/codegen/javagen/pom.xml | 2 +- core/codegen/platform/pom.xml | 2 +- core/codegen/pom.xml | 2 +- core/codegen/vdm2jml-runtime/pom.xml | 2 +- core/codegen/vdm2jml/pom.xml | 2 +- core/combinatorialtesting/ctruntime/pom.xml | 2 +- core/combinatorialtesting/ctutils/pom.xml | 2 +- core/combinatorialtesting/pom.xml | 2 +- core/commandline/pom.xml | 2 +- core/interpreter/pom.xml | 2 +- core/isapog/pom.xml | 2 +- core/parser/pom.xml | 2 +- core/pog/pom.xml | 2 +- core/pom.xml | 2 +- core/prettyprinting/npp/pom.xml | 2 +- core/prettyprinting/pom.xml | 2 +- core/prettyprinting/prettyprinter/pom.xml | 2 +- core/testframework/pom.xml | 2 +- core/testing/framework/pom.xml | 2 +- core/testing/pom.xml | 2 +- core/testing/samples/pom.xml | 2 +- core/typechecker/pom.xml | 2 +- documentation/pom.xml | 2 +- documentation/releasenotes/pom.xml | 2 +- externals/pom.xml | 2 +- ide/builders/pom.xml | 2 +- ide/builders/vdmj/META-INF/MANIFEST.MF | 2 +- ide/builders/vdmj/pom.xml | 2 +- ide/core/META-INF/MANIFEST.MF | 2 +- ide/core/pom.xml | 2 +- ide/debug/META-INF/MANIFEST.MF | 2 +- ide/debug/pom.xml | 2 +- ide/features/core/feature.xml | 2 +- ide/features/core/pom.xml | 2 +- ide/features/pom.xml | 2 +- ide/features/rcp/feature.xml | 2 +- ide/features/rcp/pom.xml | 2 +- ide/help/META-INF/MANIFEST.MF | 2 +- ide/help/pom.xml | 2 +- ide/parsers/pom.xml | 2 +- ide/parsers/vdmj/META-INF/MANIFEST.MF | 2 +- ide/parsers/vdmj/pom.xml | 2 +- ide/platform/META-INF/MANIFEST.MF | 2 +- ide/platform/pom.xml | 2 +- ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF | 2 +- ide/plugins/combinatorialtesting/pom.xml | 2 +- ide/plugins/coverageeditor/META-INF/MANIFEST.MF | 2 +- ide/plugins/coverageeditor/pom.xml | 2 +- ide/plugins/csk/META-INF/MANIFEST.MF | 2 +- ide/plugins/csk/pom.xml | 2 +- ide/plugins/developerutils/META-INF/MANIFEST.MF | 2 +- ide/plugins/developerutils/pom.xml | 2 +- ide/plugins/externaleditor/META-INF/MANIFEST.MF | 2 +- ide/plugins/externaleditor/pom.xml | 2 +- ide/plugins/features/combinatorialtesting/feature.xml | 2 +- ide/plugins/features/combinatorialtesting/pom.xml | 2 +- ide/plugins/features/coverageeditor/feature.xml | 2 +- ide/plugins/features/coverageeditor/pom.xml | 2 +- ide/plugins/features/csk/feature.xml | 2 +- ide/plugins/features/csk/pom.xml | 2 +- ide/plugins/features/developerutils/feature.xml | 2 +- ide/plugins/features/developerutils/pom.xml | 2 +- ide/plugins/features/javagen/feature.xml | 2 +- ide/plugins/features/javagen/pom.xml | 2 +- ide/plugins/features/latex/feature.xml | 2 +- ide/plugins/features/latex/pom.xml | 2 +- ide/plugins/features/pom.xml | 2 +- ide/plugins/features/poviewer/feature.xml | 2 +- ide/plugins/features/poviewer/pom.xml | 2 +- ide/plugins/features/quickinterpreter/feature.xml | 2 +- ide/plugins/features/quickinterpreter/pom.xml | 2 +- ide/plugins/features/rttraceviewer/feature.xml | 2 +- ide/plugins/features/rttraceviewer/pom.xml | 2 +- ide/plugins/features/uml2/feature.xml | 2 +- ide/plugins/features/uml2/pom.xml | 2 +- ide/plugins/javagen/META-INF/MANIFEST.MF | 2 +- ide/plugins/javagen/pom.xml | 2 +- ide/plugins/latex/META-INF/MANIFEST.MF | 2 +- ide/plugins/latex/pom.xml | 2 +- ide/plugins/pom.xml | 2 +- ide/plugins/poviewer/META-INF/MANIFEST.MF | 2 +- ide/plugins/poviewer/pom.xml | 2 +- ide/plugins/quickinterpreter/META-INF/MANIFEST.MF | 2 +- ide/plugins/quickinterpreter/pom.xml | 2 +- ide/plugins/rttraceviewer/META-INF/MANIFEST.MF | 2 +- ide/plugins/rttraceviewer/pom.xml | 2 +- ide/plugins/uml2.tests/META-INF/MANIFEST.MF | 2 +- ide/plugins/uml2.tests/pom.xml | 2 +- ide/plugins/uml2/META-INF/MANIFEST.MF | 2 +- ide/plugins/uml2/pom.xml | 2 +- ide/pom.xml | 4 ++-- ide/product/overture.product | 2 +- ide/product/pom.xml | 2 +- ide/ui.tests/pom.xml | 2 +- ide/ui/META-INF/MANIFEST.MF | 2 +- ide/ui/pom.xml | 2 +- ide/vdmpp/core/META-INF/MANIFEST.MF | 2 +- ide/vdmpp/core/pom.xml | 2 +- ide/vdmpp/debug/META-INF/MANIFEST.MF | 2 +- ide/vdmpp/debug/pom.xml | 2 +- ide/vdmpp/pom.xml | 2 +- ide/vdmpp/ui/META-INF/MANIFEST.MF | 2 +- ide/vdmpp/ui/pom.xml | 2 +- ide/vdmrt/core/META-INF/MANIFEST.MF | 2 +- ide/vdmrt/core/pom.xml | 2 +- ide/vdmrt/debug/META-INF/MANIFEST.MF | 2 +- ide/vdmrt/debug/pom.xml | 2 +- ide/vdmrt/pom.xml | 2 +- ide/vdmrt/ui/META-INF/MANIFEST.MF | 2 +- ide/vdmrt/ui/pom.xml | 2 +- ide/vdmsl/core/META-INF/MANIFEST.MF | 2 +- ide/vdmsl/core/pom.xml | 2 +- ide/vdmsl/debug/META-INF/MANIFEST.MF | 2 +- ide/vdmsl/debug/pom.xml | 2 +- ide/vdmsl/pom.xml | 2 +- ide/vdmsl/ui/META-INF/MANIFEST.MF | 2 +- ide/vdmsl/ui/pom.xml | 2 +- pom.xml | 4 ++-- 124 files changed, 126 insertions(+), 126 deletions(-) diff --git a/core/ast/pom.xml b/core/ast/pom.xml index 6e10a897c9..c9bb3d4055 100644 --- a/core/ast/pom.xml +++ b/core/ast/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/codegen-maven-plugin/pom.xml b/core/codegen/codegen-maven-plugin/pom.xml index 5d53cf098c..5fb44767ad 100644 --- a/core/codegen/codegen-maven-plugin/pom.xml +++ b/core/codegen/codegen-maven-plugin/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/codegen-runtime/pom.xml b/core/codegen/codegen-runtime/pom.xml index ca22a93f40..ae6175d376 100644 --- a/core/codegen/codegen-runtime/pom.xml +++ b/core/codegen/codegen-runtime/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/ir/pom.xml b/core/codegen/ir/pom.xml index 7d1f2f156b..76c89b3202 100644 --- a/core/codegen/ir/pom.xml +++ b/core/codegen/ir/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/isagen/pom.xml b/core/codegen/isagen/pom.xml index 68a01c7fe8..78ff890bf4 100644 --- a/core/codegen/isagen/pom.xml +++ b/core/codegen/isagen/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/javagen-test/pom.xml b/core/codegen/javagen-test/pom.xml index 9482f7ccca..a75b59f57e 100644 --- a/core/codegen/javagen-test/pom.xml +++ b/core/codegen/javagen-test/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/javagen/pom.xml b/core/codegen/javagen/pom.xml index 0099d55927..d0bfb8dbee 100644 --- a/core/codegen/javagen/pom.xml +++ b/core/codegen/javagen/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/platform/pom.xml b/core/codegen/platform/pom.xml index 353fab1fea..763ba9cd4b 100644 --- a/core/codegen/platform/pom.xml +++ b/core/codegen/platform/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/pom.xml b/core/codegen/pom.xml index a9e95e0b52..430d688f23 100644 --- a/core/codegen/pom.xml +++ b/core/codegen/pom.xml @@ -5,7 +5,7 @@ core org.overturetool - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/vdm2jml-runtime/pom.xml b/core/codegen/vdm2jml-runtime/pom.xml index 31ffd2551b..e384d86d2d 100644 --- a/core/codegen/vdm2jml-runtime/pom.xml +++ b/core/codegen/vdm2jml-runtime/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/codegen/vdm2jml/pom.xml b/core/codegen/vdm2jml/pom.xml index 8127931417..38e1746eaf 100644 --- a/core/codegen/vdm2jml/pom.xml +++ b/core/codegen/vdm2jml/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/combinatorialtesting/ctruntime/pom.xml b/core/combinatorialtesting/ctruntime/pom.xml index 3b3a24999c..03eadcacf5 100644 --- a/core/combinatorialtesting/ctruntime/pom.xml +++ b/core/combinatorialtesting/ctruntime/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core combinatorialtesting - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/combinatorialtesting/ctutils/pom.xml b/core/combinatorialtesting/ctutils/pom.xml index e3237933cb..7121062d80 100644 --- a/core/combinatorialtesting/ctutils/pom.xml +++ b/core/combinatorialtesting/ctutils/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core combinatorialtesting - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/combinatorialtesting/pom.xml b/core/combinatorialtesting/pom.xml index 643102c381..66fea22be4 100644 --- a/core/combinatorialtesting/pom.xml +++ b/core/combinatorialtesting/pom.xml @@ -4,7 +4,7 @@ core org.overturetool - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/commandline/pom.xml b/core/commandline/pom.xml index 3b2014dd52..91004d2c38 100644 --- a/core/commandline/pom.xml +++ b/core/commandline/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/interpreter/pom.xml b/core/interpreter/pom.xml index 0b52db6716..72d44afe94 100644 --- a/core/interpreter/pom.xml +++ b/core/interpreter/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/isapog/pom.xml b/core/isapog/pom.xml index 872faee253..b9bdfe69c2 100644 --- a/core/isapog/pom.xml +++ b/core/isapog/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/parser/pom.xml b/core/parser/pom.xml index 6d92cfb2a4..edceee5538 100644 --- a/core/parser/pom.xml +++ b/core/parser/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/pog/pom.xml b/core/pog/pom.xml index cc5a7cb8e0..f1743813b7 100644 --- a/core/pog/pom.xml +++ b/core/pog/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/pom.xml b/core/pom.xml index ed56358d7f..c6fd62a4a6 100644 --- a/core/pom.xml +++ b/core/pom.xml @@ -4,7 +4,7 @@ org.overturetool root - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/prettyprinting/npp/pom.xml b/core/prettyprinting/npp/pom.xml index 50992d228a..9845bc7441 100644 --- a/core/prettyprinting/npp/pom.xml +++ b/core/prettyprinting/npp/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core prettyprinting - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/prettyprinting/pom.xml b/core/prettyprinting/pom.xml index 39e1e86f2a..4eb0b45926 100644 --- a/core/prettyprinting/pom.xml +++ b/core/prettyprinting/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/prettyprinting/prettyprinter/pom.xml b/core/prettyprinting/prettyprinter/pom.xml index ad6080c82e..459f565d47 100644 --- a/core/prettyprinting/prettyprinter/pom.xml +++ b/core/prettyprinting/prettyprinter/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core prettyprinting - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/testframework/pom.xml b/core/testframework/pom.xml index c90aca6861..cddbfb5a7a 100644 --- a/core/testframework/pom.xml +++ b/core/testframework/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/testing/framework/pom.xml b/core/testing/framework/pom.xml index 03364402c0..fce1160c7f 100644 --- a/core/testing/framework/pom.xml +++ b/core/testing/framework/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core testing - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/testing/pom.xml b/core/testing/pom.xml index 6f159d259d..5c5069db25 100644 --- a/core/testing/pom.xml +++ b/core/testing/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/testing/samples/pom.xml b/core/testing/samples/pom.xml index c36ca8bf0e..ade60521ec 100644 --- a/core/testing/samples/pom.xml +++ b/core/testing/samples/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core testing - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/core/typechecker/pom.xml b/core/typechecker/pom.xml index 5bff566051..a270d5dfd3 100644 --- a/core/typechecker/pom.xml +++ b/core/typechecker/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/documentation/pom.xml b/documentation/pom.xml index 1757594d9f..7b3c16bcfc 100644 --- a/documentation/pom.xml +++ b/documentation/pom.xml @@ -4,7 +4,7 @@ org.overturetool root - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/documentation/releasenotes/pom.xml b/documentation/releasenotes/pom.xml index ddfe18643e..1e19020016 100644 --- a/documentation/releasenotes/pom.xml +++ b/documentation/releasenotes/pom.xml @@ -4,7 +4,7 @@ org.overturetool documentation - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/externals/pom.xml b/externals/pom.xml index cbc9544d65..828667442e 100644 --- a/externals/pom.xml +++ b/externals/pom.xml @@ -4,7 +4,7 @@ org.overturetool root - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/builders/pom.xml b/ide/builders/pom.xml index 15946e75aa..c5e677d989 100644 --- a/ide/builders/pom.xml +++ b/ide/builders/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/builders/vdmj/META-INF/MANIFEST.MF b/ide/builders/vdmj/META-INF/MANIFEST.MF index fd27def444..c55e875e0a 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/builders/vdmj/pom.xml b/ide/builders/vdmj/pom.xml index 013856ad16..05ed331ea6 100644 --- a/ide/builders/vdmj/pom.xml +++ b/ide/builders/vdmj/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide org.overture.ide.builders - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/core/META-INF/MANIFEST.MF b/ide/core/META-INF/MANIFEST.MF index b7004739af..a29c39f7b5 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/core/pom.xml b/ide/core/pom.xml index dd1e2df1f7..799d3689b1 100644 --- a/ide/core/pom.xml +++ b/ide/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/debug/META-INF/MANIFEST.MF b/ide/debug/META-INF/MANIFEST.MF index 2601a9cafe..42df0d7ce4 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/debug/pom.xml b/ide/debug/pom.xml index 79f95abca3..e4b1b7749a 100644 --- a/ide/debug/pom.xml +++ b/ide/debug/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/features/core/feature.xml b/ide/features/core/feature.xml index 4b271dc7b5..2e6f5aee80 100644 --- a/ide/features/core/feature.xml +++ b/ide/features/core/feature.xml @@ -2,7 +2,7 @@ diff --git a/ide/features/core/pom.xml b/ide/features/core/pom.xml index c4e5c9c993..f4662ca1a6 100644 --- a/ide/features/core/pom.xml +++ b/ide/features/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/features/pom.xml b/ide/features/pom.xml index d0eb4f906e..9f8c61b393 100644 --- a/ide/features/pom.xml +++ b/ide/features/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/features/rcp/feature.xml b/ide/features/rcp/feature.xml index 55199a9465..bf2500a3b5 100644 --- a/ide/features/rcp/feature.xml +++ b/ide/features/rcp/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/features/rcp/pom.xml b/ide/features/rcp/pom.xml index c082df1730..4767885c3d 100644 --- a/ide/features/rcp/pom.xml +++ b/ide/features/rcp/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/help/META-INF/MANIFEST.MF b/ide/help/META-INF/MANIFEST.MF index eb6a6041f8..c27a315ed5 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/help/pom.xml b/ide/help/pom.xml index be3fd607b9..2a372550a4 100644 --- a/ide/help/pom.xml +++ b/ide/help/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/parsers/pom.xml b/ide/parsers/pom.xml index b1d539ad08..e749ed9673 100644 --- a/ide/parsers/pom.xml +++ b/ide/parsers/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/parsers/vdmj/META-INF/MANIFEST.MF b/ide/parsers/vdmj/META-INF/MANIFEST.MF index afc14984db..72f33268d4 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 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 index 7636e4225e..b5dcb605e5 100644 --- a/ide/parsers/vdmj/pom.xml +++ b/ide/parsers/vdmj/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.parsers - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/platform/META-INF/MANIFEST.MF b/ide/platform/META-INF/MANIFEST.MF index 763da8170a..9b5430934b 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 Bundle-Localization: plugin Require-Bundle: org.eclipse.core.runtime, org.eclipse.ui, diff --git a/ide/platform/pom.xml b/ide/platform/pom.xml index 125da9e693..78c3b91973 100644 --- a/ide/platform/pom.xml +++ b/ide/platform/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF b/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF index 9a4e4fa572..df46dc1669 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/plugins/combinatorialtesting/pom.xml b/ide/plugins/combinatorialtesting/pom.xml index ae31f774db..a182fbe789 100644 --- a/ide/plugins/combinatorialtesting/pom.xml +++ b/ide/plugins/combinatorialtesting/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/coverageeditor/META-INF/MANIFEST.MF b/ide/plugins/coverageeditor/META-INF/MANIFEST.MF index 44068bc99e..d107448cf3 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 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 index fc202280bf..a54cc8165c 100644 --- a/ide/plugins/coverageeditor/pom.xml +++ b/ide/plugins/coverageeditor/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/csk/META-INF/MANIFEST.MF b/ide/plugins/csk/META-INF/MANIFEST.MF index dd4e9b1547..f57e923087 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 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 index 873a477def..8cf2637948 100644 --- a/ide/plugins/csk/pom.xml +++ b/ide/plugins/csk/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/developerutils/META-INF/MANIFEST.MF b/ide/plugins/developerutils/META-INF/MANIFEST.MF index d356033622..cb21ce4ed7 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 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 index bd4591a528..ac88b37ce3 100644 --- a/ide/plugins/developerutils/pom.xml +++ b/ide/plugins/developerutils/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/externaleditor/META-INF/MANIFEST.MF b/ide/plugins/externaleditor/META-INF/MANIFEST.MF index a6254b9208..11e86886b8 100644 --- 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.3.7.qualifier +Bundle-Version: 2.3.8 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 index 33b9f35593..bdbc41a204 100644 --- a/ide/plugins/externaleditor/pom.xml +++ b/ide/plugins/externaleditor/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/combinatorialtesting/feature.xml b/ide/plugins/features/combinatorialtesting/feature.xml index 17503af77a..1288f5b4ba 100644 --- a/ide/plugins/features/combinatorialtesting/feature.xml +++ b/ide/plugins/features/combinatorialtesting/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/combinatorialtesting/pom.xml b/ide/plugins/features/combinatorialtesting/pom.xml index e8eb716536..b3b8f81486 100644 --- a/ide/plugins/features/combinatorialtesting/pom.xml +++ b/ide/plugins/features/combinatorialtesting/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/coverageeditor/feature.xml b/ide/plugins/features/coverageeditor/feature.xml index 5dc6f0d57a..9e3ab21cf3 100644 --- a/ide/plugins/features/coverageeditor/feature.xml +++ b/ide/plugins/features/coverageeditor/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/coverageeditor/pom.xml b/ide/plugins/features/coverageeditor/pom.xml index cf64f33c2e..60ce2f77d6 100644 --- a/ide/plugins/features/coverageeditor/pom.xml +++ b/ide/plugins/features/coverageeditor/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/csk/feature.xml b/ide/plugins/features/csk/feature.xml index a069604d4a..304a4490c8 100644 --- a/ide/plugins/features/csk/feature.xml +++ b/ide/plugins/features/csk/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/csk/pom.xml b/ide/plugins/features/csk/pom.xml index 17ee8635cf..aed99b0747 100644 --- a/ide/plugins/features/csk/pom.xml +++ b/ide/plugins/features/csk/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/developerutils/feature.xml b/ide/plugins/features/developerutils/feature.xml index d52ca1e7d3..006bb50926 100644 --- a/ide/plugins/features/developerutils/feature.xml +++ b/ide/plugins/features/developerutils/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/developerutils/pom.xml b/ide/plugins/features/developerutils/pom.xml index 522503147d..6f62447657 100644 --- a/ide/plugins/features/developerutils/pom.xml +++ b/ide/plugins/features/developerutils/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/javagen/feature.xml b/ide/plugins/features/javagen/feature.xml index 43f87aa391..13dc484279 100644 --- a/ide/plugins/features/javagen/feature.xml +++ b/ide/plugins/features/javagen/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/javagen/pom.xml b/ide/plugins/features/javagen/pom.xml index 6a90cf7122..a363fb5c01 100644 --- a/ide/plugins/features/javagen/pom.xml +++ b/ide/plugins/features/javagen/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/latex/feature.xml b/ide/plugins/features/latex/feature.xml index 81173a9836..13aa94ec10 100644 --- a/ide/plugins/features/latex/feature.xml +++ b/ide/plugins/features/latex/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/latex/pom.xml b/ide/plugins/features/latex/pom.xml index 264007edab..a06d1602db 100644 --- a/ide/plugins/features/latex/pom.xml +++ b/ide/plugins/features/latex/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/pom.xml b/ide/plugins/features/pom.xml index e5f460601f..9657d8b9c4 100644 --- a/ide/plugins/features/pom.xml +++ b/ide/plugins/features/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/poviewer/feature.xml b/ide/plugins/features/poviewer/feature.xml index 8516bd8c39..283ad1b31b 100644 --- a/ide/plugins/features/poviewer/feature.xml +++ b/ide/plugins/features/poviewer/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/poviewer/pom.xml b/ide/plugins/features/poviewer/pom.xml index eb70f2954c..46cda2b57c 100644 --- a/ide/plugins/features/poviewer/pom.xml +++ b/ide/plugins/features/poviewer/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/quickinterpreter/feature.xml b/ide/plugins/features/quickinterpreter/feature.xml index 67a3d0eb8a..f6d1ac85ad 100644 --- a/ide/plugins/features/quickinterpreter/feature.xml +++ b/ide/plugins/features/quickinterpreter/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/quickinterpreter/pom.xml b/ide/plugins/features/quickinterpreter/pom.xml index 01b669f7c8..f171fc22bc 100644 --- a/ide/plugins/features/quickinterpreter/pom.xml +++ b/ide/plugins/features/quickinterpreter/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/rttraceviewer/feature.xml b/ide/plugins/features/rttraceviewer/feature.xml index 41aff4b3a7..d9d2539892 100644 --- a/ide/plugins/features/rttraceviewer/feature.xml +++ b/ide/plugins/features/rttraceviewer/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/rttraceviewer/pom.xml b/ide/plugins/features/rttraceviewer/pom.xml index 7d7b893a5f..c04df17a67 100644 --- a/ide/plugins/features/rttraceviewer/pom.xml +++ b/ide/plugins/features/rttraceviewer/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/features/uml2/feature.xml b/ide/plugins/features/uml2/feature.xml index 7a0e116635..29865e61f7 100644 --- a/ide/plugins/features/uml2/feature.xml +++ b/ide/plugins/features/uml2/feature.xml @@ -2,7 +2,7 @@ + version="2.3.8"> %description diff --git a/ide/plugins/features/uml2/pom.xml b/ide/plugins/features/uml2/pom.xml index c7a7cc7f65..4f43d9cc2d 100644 --- a/ide/plugins/features/uml2/pom.xml +++ b/ide/plugins/features/uml2/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide.plugins org.overture.ide.plugins.features - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/javagen/META-INF/MANIFEST.MF b/ide/plugins/javagen/META-INF/MANIFEST.MF index 009b4927dc..9db1424e74 100644 --- a/ide/plugins/javagen/META-INF/MANIFEST.MF +++ b/ide/plugins/javagen/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Name: Code Generator Bundle-ManifestVersion: 2 diff --git a/ide/plugins/javagen/pom.xml b/ide/plugins/javagen/pom.xml index 5ed020bb0a..4830058767 100644 --- a/ide/plugins/javagen/pom.xml +++ b/ide/plugins/javagen/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/latex/META-INF/MANIFEST.MF b/ide/plugins/latex/META-INF/MANIFEST.MF index 9b87fbc470..a82622db85 100644 --- a/ide/plugins/latex/META-INF/MANIFEST.MF +++ b/ide/plugins/latex/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.plugins.latex diff --git a/ide/plugins/latex/pom.xml b/ide/plugins/latex/pom.xml index 64177a12b2..0ed282350c 100644 --- a/ide/plugins/latex/pom.xml +++ b/ide/plugins/latex/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/pom.xml b/ide/plugins/pom.xml index 3ba2e925f3..ec3848a587 100644 --- a/ide/plugins/pom.xml +++ b/ide/plugins/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/poviewer/META-INF/MANIFEST.MF b/ide/plugins/poviewer/META-INF/MANIFEST.MF index cb05092490..7a743933da 100644 --- a/ide/plugins/poviewer/META-INF/MANIFEST.MF +++ b/ide/plugins/poviewer/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/plugins/poviewer/pom.xml b/ide/plugins/poviewer/pom.xml index c71c352d69..a66c8eae57 100644 --- a/ide/plugins/poviewer/pom.xml +++ b/ide/plugins/poviewer/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF b/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF index c7cb26df1b..c631da3d2c 100644 --- a/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF +++ b/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.plugins.quickinterpreter diff --git a/ide/plugins/quickinterpreter/pom.xml b/ide/plugins/quickinterpreter/pom.xml index 801fdc71a0..06bef4010e 100644 --- a/ide/plugins/quickinterpreter/pom.xml +++ b/ide/plugins/quickinterpreter/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF b/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF index b5005e802b..eba79cdefd 100644 --- a/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF +++ b/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.plugins.rttraceviewer diff --git a/ide/plugins/rttraceviewer/pom.xml b/ide/plugins/rttraceviewer/pom.xml index cb4843c246..deebca58a9 100644 --- a/ide/plugins/rttraceviewer/pom.xml +++ b/ide/plugins/rttraceviewer/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/uml2.tests/META-INF/MANIFEST.MF b/ide/plugins/uml2.tests/META-INF/MANIFEST.MF index 22d2916a01..5851802608 100644 --- a/ide/plugins/uml2.tests/META-INF/MANIFEST.MF +++ b/ide/plugins/uml2.tests/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.plugins.uml2.tests diff --git a/ide/plugins/uml2.tests/pom.xml b/ide/plugins/uml2.tests/pom.xml index 692de9af63..8a785b44f5 100644 --- a/ide/plugins/uml2.tests/pom.xml +++ b/ide/plugins/uml2.tests/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/plugins/uml2/META-INF/MANIFEST.MF b/ide/plugins/uml2/META-INF/MANIFEST.MF index fd5ad791ce..15a4c4dce1 100644 --- a/ide/plugins/uml2/META-INF/MANIFEST.MF +++ b/ide/plugins/uml2/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Name: UML2 Translator Bundle-ManifestVersion: 2 diff --git a/ide/plugins/uml2/pom.xml b/ide/plugins/uml2/pom.xml index a23c9548b8..816f31e88b 100644 --- a/ide/plugins/uml2/pom.xml +++ b/ide/plugins/uml2/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/pom.xml b/ide/pom.xml index 561da2db76..408a791454 100644 --- a/ide/pom.xml +++ b/ide/pom.xml @@ -5,10 +5,10 @@ org.overturetool root - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml - pom +pom ide Overture IDE Top-level Super POM for all IDE (Eclipse) artifacts. diff --git a/ide/product/overture.product b/ide/product/overture.product index 9f8d87a0d7..6008d1eb95 100644 --- a/ide/product/overture.product +++ b/ide/product/overture.product @@ -1,7 +1,7 @@ - + diff --git a/ide/product/pom.xml b/ide/product/pom.xml index 1e27fa4010..ecf7436cd5 100644 --- a/ide/product/pom.xml +++ b/ide/product/pom.xml @@ -4,7 +4,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/ui.tests/pom.xml b/ide/ui.tests/pom.xml index 0f4aa35f50..d243f9c0a1 100644 --- a/ide/ui.tests/pom.xml +++ b/ide/ui.tests/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/ui/META-INF/MANIFEST.MF b/ide/ui/META-INF/MANIFEST.MF index b6240333d2..97d5bd1467 100644 --- a/ide/ui/META-INF/MANIFEST.MF +++ b/ide/ui/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.ui diff --git a/ide/ui/pom.xml b/ide/ui/pom.xml index b8cc8244b9..d0d64704b6 100644 --- a/ide/ui/pom.xml +++ b/ide/ui/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmpp/core/META-INF/MANIFEST.MF b/ide/vdmpp/core/META-INF/MANIFEST.MF index 58cec10201..d7118bbecf 100644 --- a/ide/vdmpp/core/META-INF/MANIFEST.MF +++ b/ide/vdmpp/core/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmpp.core diff --git a/ide/vdmpp/core/pom.xml b/ide/vdmpp/core/pom.xml index 5d4a5f0de5..3159d76884 100644 --- a/ide/vdmpp/core/pom.xml +++ b/ide/vdmpp/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmpp - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmpp/debug/META-INF/MANIFEST.MF b/ide/vdmpp/debug/META-INF/MANIFEST.MF index 62607f682b..8930923998 100644 --- a/ide/vdmpp/debug/META-INF/MANIFEST.MF +++ b/ide/vdmpp/debug/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmpp.debug diff --git a/ide/vdmpp/debug/pom.xml b/ide/vdmpp/debug/pom.xml index f1b0a85600..11f21201e9 100644 --- a/ide/vdmpp/debug/pom.xml +++ b/ide/vdmpp/debug/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmpp - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmpp/pom.xml b/ide/vdmpp/pom.xml index d55395215a..7e02770829 100644 --- a/ide/vdmpp/pom.xml +++ b/ide/vdmpp/pom.xml @@ -4,7 +4,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmpp/ui/META-INF/MANIFEST.MF b/ide/vdmpp/ui/META-INF/MANIFEST.MF index 235c179b08..a71c314b3e 100644 --- a/ide/vdmpp/ui/META-INF/MANIFEST.MF +++ b/ide/vdmpp/ui/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmpp.ui diff --git a/ide/vdmpp/ui/pom.xml b/ide/vdmpp/ui/pom.xml index c2677c2e8e..cf797c5eee 100644 --- a/ide/vdmpp/ui/pom.xml +++ b/ide/vdmpp/ui/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmpp - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmrt/core/META-INF/MANIFEST.MF b/ide/vdmrt/core/META-INF/MANIFEST.MF index ee20b9b561..6e781aeab2 100644 --- a/ide/vdmrt/core/META-INF/MANIFEST.MF +++ b/ide/vdmrt/core/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmrt.core diff --git a/ide/vdmrt/core/pom.xml b/ide/vdmrt/core/pom.xml index b52811edae..d8308859cf 100644 --- a/ide/vdmrt/core/pom.xml +++ b/ide/vdmrt/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmrt - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmrt/debug/META-INF/MANIFEST.MF b/ide/vdmrt/debug/META-INF/MANIFEST.MF index 2d521c67e8..1315c7b00b 100644 --- a/ide/vdmrt/debug/META-INF/MANIFEST.MF +++ b/ide/vdmrt/debug/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmrt.debug diff --git a/ide/vdmrt/debug/pom.xml b/ide/vdmrt/debug/pom.xml index cf7450c7d1..8d954bd8bc 100644 --- a/ide/vdmrt/debug/pom.xml +++ b/ide/vdmrt/debug/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmrt - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmrt/pom.xml b/ide/vdmrt/pom.xml index 5afab59007..3c0d22ad5c 100644 --- a/ide/vdmrt/pom.xml +++ b/ide/vdmrt/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmrt/ui/META-INF/MANIFEST.MF b/ide/vdmrt/ui/META-INF/MANIFEST.MF index 8fe2845bbe..85483ce483 100644 --- a/ide/vdmrt/ui/META-INF/MANIFEST.MF +++ b/ide/vdmrt/ui/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmrt.ui diff --git a/ide/vdmrt/ui/pom.xml b/ide/vdmrt/ui/pom.xml index e4039d5d94..fba7f1f26b 100644 --- a/ide/vdmrt/ui/pom.xml +++ b/ide/vdmrt/ui/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmrt - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmsl/core/META-INF/MANIFEST.MF b/ide/vdmsl/core/META-INF/MANIFEST.MF index b37d191a9b..402edaa3c9 100644 --- a/ide/vdmsl/core/META-INF/MANIFEST.MF +++ b/ide/vdmsl/core/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmsl.core diff --git a/ide/vdmsl/core/pom.xml b/ide/vdmsl/core/pom.xml index 478f8e6544..5fccf27283 100644 --- a/ide/vdmsl/core/pom.xml +++ b/ide/vdmsl/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmsl - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmsl/debug/META-INF/MANIFEST.MF b/ide/vdmsl/debug/META-INF/MANIFEST.MF index 959aff3306..907bce12c8 100644 --- a/ide/vdmsl/debug/META-INF/MANIFEST.MF +++ b/ide/vdmsl/debug/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmsl.debug diff --git a/ide/vdmsl/debug/pom.xml b/ide/vdmsl/debug/pom.xml index 36bedd5476..9625856bf4 100644 --- a/ide/vdmsl/debug/pom.xml +++ b/ide/vdmsl/debug/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide org.overture.ide.vdmsl - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmsl/pom.xml b/ide/vdmsl/pom.xml index 961e828a6e..ca8be08b36 100644 --- a/ide/vdmsl/pom.xml +++ b/ide/vdmsl/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/ide/vdmsl/ui/META-INF/MANIFEST.MF b/ide/vdmsl/ui/META-INF/MANIFEST.MF index 3588253c12..c3486b3469 100644 --- a/ide/vdmsl/ui/META-INF/MANIFEST.MF +++ b/ide/vdmsl/ui/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 2.3.7.qualifier +Bundle-Version: 2.3.8 Eclipse-BuddyPolicy: registered Bundle-Localization: plugin Bundle-Name: org.overture.ide.vdmsl.ui diff --git a/ide/vdmsl/ui/pom.xml b/ide/vdmsl/ui/pom.xml index 19dd975b2d..e8d65c3e61 100644 --- a/ide/vdmsl/ui/pom.xml +++ b/ide/vdmsl/ui/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmsl - 2.3.7-SNAPSHOT + 2.3.8 ../pom.xml diff --git a/pom.xml b/pom.xml index 256b198369..11bd08354c 100644 --- a/pom.xml +++ b/pom.xml @@ -19,7 +19,7 @@ org.overturetool root - 2.3.7-SNAPSHOT + 2.3.8 The Overture Tool Platform root @@ -366,7 +366,7 @@ http://mojo.codehaus.org/versions-maven-plugin/ git@github.com:overturetool/overture.git scm:git:git://github.com/overturetool/overture.git scm:git:git@github.com:overturetool/overture.git - HEAD + Release/2.3.8