From cafcbab7365cc5e34400a8b4012c438213559144 Mon Sep 17 00:00:00 2001 From: idhugoid Date: Tue, 10 Nov 2020 15:08:25 +0100 Subject: [PATCH] [maven-release-plugin] prepare release Release/3.0.2 Bump ide/ to version 3.0.2 --- core/annotations/examples/pom.xml | 2 +- core/annotations/pom.xml | 2 +- core/annotations/provided/pom.xml | 2 +- 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 | 2 +- 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 ++-- 127 files changed, 128 insertions(+), 128 deletions(-) diff --git a/core/annotations/examples/pom.xml b/core/annotations/examples/pom.xml index 042e32283c..50591162e3 100644 --- a/core/annotations/examples/pom.xml +++ b/core/annotations/examples/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core annotations - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/annotations/pom.xml b/core/annotations/pom.xml index 030c7dc457..3591f2aa54 100644 --- a/core/annotations/pom.xml +++ b/core/annotations/pom.xml @@ -5,7 +5,7 @@ core org.overturetool - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/annotations/provided/pom.xml b/core/annotations/provided/pom.xml index b91579f0f3..e26c020ec8 100644 --- a/core/annotations/provided/pom.xml +++ b/core/annotations/provided/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core annotations - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/ast/pom.xml b/core/ast/pom.xml index 3b81ea6471..e7f26c340b 100644 --- a/core/ast/pom.xml +++ b/core/ast/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/codegen-maven-plugin/pom.xml b/core/codegen/codegen-maven-plugin/pom.xml index 6d80220db6..f098fb812b 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/codegen-runtime/pom.xml b/core/codegen/codegen-runtime/pom.xml index b8c96dbc5c..d3faef0c58 100644 --- a/core/codegen/codegen-runtime/pom.xml +++ b/core/codegen/codegen-runtime/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/ir/pom.xml b/core/codegen/ir/pom.xml index e28d94bb32..9f112db7f4 100644 --- a/core/codegen/ir/pom.xml +++ b/core/codegen/ir/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/isagen/pom.xml b/core/codegen/isagen/pom.xml index 80b3e422a8..52f99c8be1 100644 --- a/core/codegen/isagen/pom.xml +++ b/core/codegen/isagen/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/javagen-test/pom.xml b/core/codegen/javagen-test/pom.xml index 8012d989a0..b879db29de 100644 --- a/core/codegen/javagen-test/pom.xml +++ b/core/codegen/javagen-test/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/javagen/pom.xml b/core/codegen/javagen/pom.xml index 24c60d7e00..d40386b281 100644 --- a/core/codegen/javagen/pom.xml +++ b/core/codegen/javagen/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/platform/pom.xml b/core/codegen/platform/pom.xml index a34e612abe..64fbca1a5c 100644 --- a/core/codegen/platform/pom.xml +++ b/core/codegen/platform/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/pom.xml b/core/codegen/pom.xml index 5ad5feb510..5752f5e7e8 100644 --- a/core/codegen/pom.xml +++ b/core/codegen/pom.xml @@ -5,7 +5,7 @@ core org.overturetool - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/vdm2jml-runtime/pom.xml b/core/codegen/vdm2jml-runtime/pom.xml index d9332645d5..73aebfca58 100644 --- a/core/codegen/vdm2jml-runtime/pom.xml +++ b/core/codegen/vdm2jml-runtime/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/codegen/vdm2jml/pom.xml b/core/codegen/vdm2jml/pom.xml index b482306837..641b9eead8 100644 --- a/core/codegen/vdm2jml/pom.xml +++ b/core/codegen/vdm2jml/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core codegen - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/combinatorialtesting/ctruntime/pom.xml b/core/combinatorialtesting/ctruntime/pom.xml index ed8a4b3f44..952e34d72a 100644 --- a/core/combinatorialtesting/ctruntime/pom.xml +++ b/core/combinatorialtesting/ctruntime/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core combinatorialtesting - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/combinatorialtesting/ctutils/pom.xml b/core/combinatorialtesting/ctutils/pom.xml index 01346fb904..bf16657c97 100644 --- a/core/combinatorialtesting/ctutils/pom.xml +++ b/core/combinatorialtesting/ctutils/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core combinatorialtesting - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/combinatorialtesting/pom.xml b/core/combinatorialtesting/pom.xml index 6aa0ba8520..c50ec55718 100644 --- a/core/combinatorialtesting/pom.xml +++ b/core/combinatorialtesting/pom.xml @@ -4,7 +4,7 @@ core org.overturetool - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/commandline/pom.xml b/core/commandline/pom.xml index f3dcb5760d..92593b61b3 100644 --- a/core/commandline/pom.xml +++ b/core/commandline/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/interpreter/pom.xml b/core/interpreter/pom.xml index c305c945fc..9744e2c97e 100644 --- a/core/interpreter/pom.xml +++ b/core/interpreter/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/isapog/pom.xml b/core/isapog/pom.xml index cd5c78c8d0..c420627d37 100644 --- a/core/isapog/pom.xml +++ b/core/isapog/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/parser/pom.xml b/core/parser/pom.xml index 887d8f3968..1d5155d6e3 100644 --- a/core/parser/pom.xml +++ b/core/parser/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/pog/pom.xml b/core/pog/pom.xml index b2fd3774f9..34fb1d9228 100644 --- a/core/pog/pom.xml +++ b/core/pog/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/pom.xml b/core/pom.xml index 94a0ce6fb7..e18b7d9244 100644 --- a/core/pom.xml +++ b/core/pom.xml @@ -4,7 +4,7 @@ org.overturetool root - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/prettyprinting/npp/pom.xml b/core/prettyprinting/npp/pom.xml index a75be9d8c9..bf5f6fa0fd 100644 --- a/core/prettyprinting/npp/pom.xml +++ b/core/prettyprinting/npp/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core prettyprinting - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/prettyprinting/pom.xml b/core/prettyprinting/pom.xml index 7fcf9e3ca4..9ba52f6043 100644 --- a/core/prettyprinting/pom.xml +++ b/core/prettyprinting/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/prettyprinting/prettyprinter/pom.xml b/core/prettyprinting/prettyprinter/pom.xml index 8ea89a451e..7ed15dcfca 100644 --- a/core/prettyprinting/prettyprinter/pom.xml +++ b/core/prettyprinting/prettyprinter/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core prettyprinting - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/testframework/pom.xml b/core/testframework/pom.xml index cc3ebecf0e..4d3ccfc48a 100644 --- a/core/testframework/pom.xml +++ b/core/testframework/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/testing/framework/pom.xml b/core/testing/framework/pom.xml index de8ba8fa81..87a6d2d2f8 100644 --- a/core/testing/framework/pom.xml +++ b/core/testing/framework/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core testing - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/testing/pom.xml b/core/testing/pom.xml index 5921dd5dfd..9fa50090c6 100644 --- a/core/testing/pom.xml +++ b/core/testing/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/testing/samples/pom.xml b/core/testing/samples/pom.xml index 26bfbf6af0..3a7855623e 100644 --- a/core/testing/samples/pom.xml +++ b/core/testing/samples/pom.xml @@ -4,7 +4,7 @@ org.overturetool.core testing - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/core/typechecker/pom.xml b/core/typechecker/pom.xml index 868b709ae7..d13f6016c1 100644 --- a/core/typechecker/pom.xml +++ b/core/typechecker/pom.xml @@ -4,7 +4,7 @@ org.overturetool core - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/documentation/pom.xml b/documentation/pom.xml index 8135079165..7471d760a3 100644 --- a/documentation/pom.xml +++ b/documentation/pom.xml @@ -4,7 +4,7 @@ org.overturetool root - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/documentation/releasenotes/pom.xml b/documentation/releasenotes/pom.xml index 5e8a4a8660..f7d7c089e9 100644 --- a/documentation/releasenotes/pom.xml +++ b/documentation/releasenotes/pom.xml @@ -4,7 +4,7 @@ org.overturetool documentation - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/externals/pom.xml b/externals/pom.xml index 485a329968..a1729e2d8e 100644 --- a/externals/pom.xml +++ b/externals/pom.xml @@ -4,7 +4,7 @@ org.overturetool root - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/builders/pom.xml b/ide/builders/pom.xml index 519534b782..7b6d72b339 100644 --- a/ide/builders/pom.xml +++ b/ide/builders/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/builders/vdmj/META-INF/MANIFEST.MF b/ide/builders/vdmj/META-INF/MANIFEST.MF index 6aa3b9ff4e..2480c78f6d 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/builders/vdmj/pom.xml b/ide/builders/vdmj/pom.xml index c247a3fca8..9bb8fecd80 100644 --- a/ide/builders/vdmj/pom.xml +++ b/ide/builders/vdmj/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide org.overture.ide.builders - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/core/META-INF/MANIFEST.MF b/ide/core/META-INF/MANIFEST.MF index 290b694877..552e8a7202 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/core/pom.xml b/ide/core/pom.xml index 9227849dcc..cdddf75661 100644 --- a/ide/core/pom.xml +++ b/ide/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/debug/META-INF/MANIFEST.MF b/ide/debug/META-INF/MANIFEST.MF index c125a7d733..e6024d3b21 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/debug/pom.xml b/ide/debug/pom.xml index 3e476770f5..f489f0a05e 100644 --- a/ide/debug/pom.xml +++ b/ide/debug/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/features/core/feature.xml b/ide/features/core/feature.xml index 8702a851d7..64af21a78b 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 dc56c945f4..89ff632e83 100644 --- a/ide/features/core/pom.xml +++ b/ide/features/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide features - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/features/pom.xml b/ide/features/pom.xml index bbd313f51c..3ced3c48ad 100644 --- a/ide/features/pom.xml +++ b/ide/features/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/features/rcp/feature.xml b/ide/features/rcp/feature.xml index de9d2d24b2..95c18d7a6f 100644 --- a/ide/features/rcp/feature.xml +++ b/ide/features/rcp/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/features/rcp/pom.xml b/ide/features/rcp/pom.xml index 4336d6b1a3..f130b16a41 100644 --- a/ide/features/rcp/pom.xml +++ b/ide/features/rcp/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide features - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/help/META-INF/MANIFEST.MF b/ide/help/META-INF/MANIFEST.MF index f35a9bf33b..effafbac01 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/help/pom.xml b/ide/help/pom.xml index 6b0ae30df5..7fecee003c 100644 --- a/ide/help/pom.xml +++ b/ide/help/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/parsers/pom.xml b/ide/parsers/pom.xml index be65ede5ec..7cf8ed8532 100644 --- a/ide/parsers/pom.xml +++ b/ide/parsers/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/parsers/vdmj/META-INF/MANIFEST.MF b/ide/parsers/vdmj/META-INF/MANIFEST.MF index 01d74d3a69..d1c841067e 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: 3.0.1.qualifier +Bundle-Version: 3.0.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 index 896d72c86c..9eb919f2cc 100644 --- a/ide/parsers/vdmj/pom.xml +++ b/ide/parsers/vdmj/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.parsers - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/platform/META-INF/MANIFEST.MF b/ide/platform/META-INF/MANIFEST.MF index 13c7b8aff9..a8a7ddf772 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: 3.0.1.qualifier +Bundle-Version: 3.0.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 index a72b37b8f8..887268e1fc 100644 --- a/ide/platform/pom.xml +++ b/ide/platform/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF b/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF index 9ea097cb81..08d550fbad 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/plugins/combinatorialtesting/pom.xml b/ide/plugins/combinatorialtesting/pom.xml index d2d9ae0e00..f83c6db784 100644 --- a/ide/plugins/combinatorialtesting/pom.xml +++ b/ide/plugins/combinatorialtesting/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/coverageeditor/META-INF/MANIFEST.MF b/ide/plugins/coverageeditor/META-INF/MANIFEST.MF index 26fa5433fe..62aa0eb97f 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: 3.0.1.qualifier +Bundle-Version: 3.0.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 index 4977604113..ef68b66358 100644 --- a/ide/plugins/coverageeditor/pom.xml +++ b/ide/plugins/coverageeditor/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/csk/META-INF/MANIFEST.MF b/ide/plugins/csk/META-INF/MANIFEST.MF index 9d2af44e2e..02bf3df85d 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: 3.0.1.qualifier +Bundle-Version: 3.0.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 index 979ce8d6e9..21856e6d69 100644 --- a/ide/plugins/csk/pom.xml +++ b/ide/plugins/csk/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/developerutils/META-INF/MANIFEST.MF b/ide/plugins/developerutils/META-INF/MANIFEST.MF index eb57d1ec5a..7fd384d09f 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: 3.0.1.qualifier +Bundle-Version: 3.0.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 index ab1f5e9ecf..5ac3af1182 100644 --- a/ide/plugins/developerutils/pom.xml +++ b/ide/plugins/developerutils/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/externaleditor/META-INF/MANIFEST.MF b/ide/plugins/externaleditor/META-INF/MANIFEST.MF index 600a5a0ae5..fe4bfa030a 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: 3.0.1.qualifier +Bundle-Version: 3.0.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 index 772f2825f1..af473c4d82 100644 --- a/ide/plugins/externaleditor/pom.xml +++ b/ide/plugins/externaleditor/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/combinatorialtesting/feature.xml b/ide/plugins/features/combinatorialtesting/feature.xml index ab48956d40..1868b2d3bd 100644 --- a/ide/plugins/features/combinatorialtesting/feature.xml +++ b/ide/plugins/features/combinatorialtesting/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/combinatorialtesting/pom.xml b/ide/plugins/features/combinatorialtesting/pom.xml index 87aedcfb34..b32308371f 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/coverageeditor/feature.xml b/ide/plugins/features/coverageeditor/feature.xml index fa145cc7ba..e0df1d4fd3 100644 --- a/ide/plugins/features/coverageeditor/feature.xml +++ b/ide/plugins/features/coverageeditor/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/coverageeditor/pom.xml b/ide/plugins/features/coverageeditor/pom.xml index e8cbc08800..d6d44d183f 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/csk/feature.xml b/ide/plugins/features/csk/feature.xml index 9e00a0821a..ba1a0fe954 100644 --- a/ide/plugins/features/csk/feature.xml +++ b/ide/plugins/features/csk/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/csk/pom.xml b/ide/plugins/features/csk/pom.xml index 54076d2945..e84ba13fb4 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/developerutils/feature.xml b/ide/plugins/features/developerutils/feature.xml index d303e81c03..19ee6f2704 100644 --- a/ide/plugins/features/developerutils/feature.xml +++ b/ide/plugins/features/developerutils/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/developerutils/pom.xml b/ide/plugins/features/developerutils/pom.xml index da38834e74..24ef81683d 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/javagen/feature.xml b/ide/plugins/features/javagen/feature.xml index 1a3af44d4d..6078965e79 100644 --- a/ide/plugins/features/javagen/feature.xml +++ b/ide/plugins/features/javagen/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/javagen/pom.xml b/ide/plugins/features/javagen/pom.xml index 6ca4962f41..ba5e9f6c5d 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/latex/feature.xml b/ide/plugins/features/latex/feature.xml index 3fc122155f..7a6e7901d1 100644 --- a/ide/plugins/features/latex/feature.xml +++ b/ide/plugins/features/latex/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/latex/pom.xml b/ide/plugins/features/latex/pom.xml index d768c10a09..bb00cffee6 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/pom.xml b/ide/plugins/features/pom.xml index 69a29052d5..afc94406f1 100644 --- a/ide/plugins/features/pom.xml +++ b/ide/plugins/features/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/poviewer/feature.xml b/ide/plugins/features/poviewer/feature.xml index 6395c51bd3..c9981110df 100644 --- a/ide/plugins/features/poviewer/feature.xml +++ b/ide/plugins/features/poviewer/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/poviewer/pom.xml b/ide/plugins/features/poviewer/pom.xml index 2a66f7c18e..99f6381a4a 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/quickinterpreter/feature.xml b/ide/plugins/features/quickinterpreter/feature.xml index 9f437cb891..f32bf98901 100644 --- a/ide/plugins/features/quickinterpreter/feature.xml +++ b/ide/plugins/features/quickinterpreter/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/quickinterpreter/pom.xml b/ide/plugins/features/quickinterpreter/pom.xml index a4e433736b..6f9dd911f5 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/rttraceviewer/feature.xml b/ide/plugins/features/rttraceviewer/feature.xml index 45ab6c5759..ca58c0953e 100644 --- a/ide/plugins/features/rttraceviewer/feature.xml +++ b/ide/plugins/features/rttraceviewer/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/rttraceviewer/pom.xml b/ide/plugins/features/rttraceviewer/pom.xml index 41031873e5..fb874f27f0 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/features/uml2/feature.xml b/ide/plugins/features/uml2/feature.xml index 8f1a894d22..bc49083a1e 100644 --- a/ide/plugins/features/uml2/feature.xml +++ b/ide/plugins/features/uml2/feature.xml @@ -2,7 +2,7 @@ + version="3.0.2"> %description diff --git a/ide/plugins/features/uml2/pom.xml b/ide/plugins/features/uml2/pom.xml index a0cdb86311..ff0384ac0a 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/javagen/META-INF/MANIFEST.MF b/ide/plugins/javagen/META-INF/MANIFEST.MF index 2572d530e9..e61c7a6654 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 fff66b9c24..2f2155de43 100644 --- a/ide/plugins/javagen/pom.xml +++ b/ide/plugins/javagen/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/latex/META-INF/MANIFEST.MF b/ide/plugins/latex/META-INF/MANIFEST.MF index ba999c71d9..f3fb2d834c 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 9c10e6aba9..b65f7a2498 100644 --- a/ide/plugins/latex/pom.xml +++ b/ide/plugins/latex/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/pom.xml b/ide/plugins/pom.xml index a95342d617..a4e73fccb0 100644 --- a/ide/plugins/pom.xml +++ b/ide/plugins/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/poviewer/META-INF/MANIFEST.MF b/ide/plugins/poviewer/META-INF/MANIFEST.MF index e344430021..b7786ff1d6 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 Eclipse-BuddyPolicy: registered Eclipse-BundleShape: dir Bundle-Localization: plugin diff --git a/ide/plugins/poviewer/pom.xml b/ide/plugins/poviewer/pom.xml index 87db1fc588..3702c26336 100644 --- a/ide/plugins/poviewer/pom.xml +++ b/ide/plugins/poviewer/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF b/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF index 6c92a03a65..bce4a1eb9e 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 64bb590480..2010e93916 100644 --- a/ide/plugins/quickinterpreter/pom.xml +++ b/ide/plugins/quickinterpreter/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF b/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF index 937ff3171c..73b776934c 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 5548b02d6b..3d8336e18a 100644 --- a/ide/plugins/rttraceviewer/pom.xml +++ b/ide/plugins/rttraceviewer/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/uml2.tests/META-INF/MANIFEST.MF b/ide/plugins/uml2.tests/META-INF/MANIFEST.MF index 99ff69c0e2..d3574aca48 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 464b071f0d..c41fd28db1 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 - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/plugins/uml2/META-INF/MANIFEST.MF b/ide/plugins/uml2/META-INF/MANIFEST.MF index b4c47117f8..cfba4734aa 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 b62cf25960..92c2df1559 100644 --- a/ide/plugins/uml2/pom.xml +++ b/ide/plugins/uml2/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.plugins - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/pom.xml b/ide/pom.xml index 653b377e50..6308757d80 100644 --- a/ide/pom.xml +++ b/ide/pom.xml @@ -5,7 +5,7 @@ org.overturetool root - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml pom diff --git a/ide/product/overture.product b/ide/product/overture.product index c628161341..9fa9316993 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 b3354c3fff..b121501bd1 100644 --- a/ide/product/pom.xml +++ b/ide/product/pom.xml @@ -4,7 +4,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/ui.tests/pom.xml b/ide/ui.tests/pom.xml index 230765220a..dcd4904cf2 100644 --- a/ide/ui.tests/pom.xml +++ b/ide/ui.tests/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/ui/META-INF/MANIFEST.MF b/ide/ui/META-INF/MANIFEST.MF index 788ab68ef9..69b1ee9705 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 f48a792c8a..62f3cb7a26 100644 --- a/ide/ui/pom.xml +++ b/ide/ui/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmpp/core/META-INF/MANIFEST.MF b/ide/vdmpp/core/META-INF/MANIFEST.MF index 29d75d1213..c0cf0d65e1 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 ea3ef7c712..96d4783c53 100644 --- a/ide/vdmpp/core/pom.xml +++ b/ide/vdmpp/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmpp - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmpp/debug/META-INF/MANIFEST.MF b/ide/vdmpp/debug/META-INF/MANIFEST.MF index d8153fba27..eafb952a40 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 3dda97b000..2ffd788a39 100644 --- a/ide/vdmpp/debug/pom.xml +++ b/ide/vdmpp/debug/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmpp - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmpp/pom.xml b/ide/vdmpp/pom.xml index ca9ca9229d..5209bd62bb 100644 --- a/ide/vdmpp/pom.xml +++ b/ide/vdmpp/pom.xml @@ -4,7 +4,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmpp/ui/META-INF/MANIFEST.MF b/ide/vdmpp/ui/META-INF/MANIFEST.MF index 03868a7229..90db6a727b 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 4eb2b12436..a5cac7f10e 100644 --- a/ide/vdmpp/ui/pom.xml +++ b/ide/vdmpp/ui/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmpp - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmrt/core/META-INF/MANIFEST.MF b/ide/vdmrt/core/META-INF/MANIFEST.MF index a8a5dd8e2c..f93c4cc5e7 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 d871b8eb19..e6fedd5f6d 100644 --- a/ide/vdmrt/core/pom.xml +++ b/ide/vdmrt/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmrt - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmrt/debug/META-INF/MANIFEST.MF b/ide/vdmrt/debug/META-INF/MANIFEST.MF index 1635e87bf0..4968665add 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 c7782085e1..246065a348 100644 --- a/ide/vdmrt/debug/pom.xml +++ b/ide/vdmrt/debug/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmrt - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmrt/pom.xml b/ide/vdmrt/pom.xml index 3ead589ff3..ccbc0c9d4b 100644 --- a/ide/vdmrt/pom.xml +++ b/ide/vdmrt/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmrt/ui/META-INF/MANIFEST.MF b/ide/vdmrt/ui/META-INF/MANIFEST.MF index f0a01bef1c..4942a0af4e 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 b18d4f7791..08d7aade73 100644 --- a/ide/vdmrt/ui/pom.xml +++ b/ide/vdmrt/ui/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmrt - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmsl/core/META-INF/MANIFEST.MF b/ide/vdmsl/core/META-INF/MANIFEST.MF index 336f2c4524..242948baae 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 5c3323f4be..b38cfa81ce 100644 --- a/ide/vdmsl/core/pom.xml +++ b/ide/vdmsl/core/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmsl - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmsl/debug/META-INF/MANIFEST.MF b/ide/vdmsl/debug/META-INF/MANIFEST.MF index 915df9eabf..da0bb67a28 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 c4dfa92777..aa837dfc4a 100644 --- a/ide/vdmsl/debug/pom.xml +++ b/ide/vdmsl/debug/pom.xml @@ -4,7 +4,7 @@ org.overturetool.ide org.overture.ide.vdmsl - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmsl/pom.xml b/ide/vdmsl/pom.xml index b752b708f7..d6c8855f0f 100644 --- a/ide/vdmsl/pom.xml +++ b/ide/vdmsl/pom.xml @@ -5,7 +5,7 @@ org.overturetool ide - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/ide/vdmsl/ui/META-INF/MANIFEST.MF b/ide/vdmsl/ui/META-INF/MANIFEST.MF index 27c229e1d2..70dc918940 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: 3.0.1.qualifier +Bundle-Version: 3.0.2 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 e4cca0a4d4..48eecdf5fe 100644 --- a/ide/vdmsl/ui/pom.xml +++ b/ide/vdmsl/ui/pom.xml @@ -5,7 +5,7 @@ org.overturetool.ide org.overture.ide.vdmsl - 3.0.1-SNAPSHOT + 3.0.2 ../pom.xml diff --git a/pom.xml b/pom.xml index 2e1c14aa2e..089be59071 100644 --- a/pom.xml +++ b/pom.xml @@ -19,7 +19,7 @@ org.overturetool root - 3.0.1-SNAPSHOT + 3.0.2 The Overture Tool Platform root @@ -406,7 +406,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/3.0.2