SuccessChanges

Summary

  1. [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) (details)
  2. Accomodates suggested problem resolution (commit: 8fd05a4) (details)
  3. Adds a Debug VDM perspective (commit: 989a70c) (details)
  4. Bump version number (commit: 185e89d) (details)
  5. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) (details)
Commit 2a9fecf0fcc849f2acc74a74e3378934387aa88e by idhugo
[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 2.7.5-SNAPSHOT
(commit: 2a9fecf)
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedpom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/product/overture.product
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedcore/ast/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedcore/commandline/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/debug/pom.xml
The file was modifiedcore/testframework/pom.xml
Commit 8fd05a4a692209c9722eef0e5f413acd2284c860 by idhugo
Accomodates suggested problem resolution
(commit: 8fd05a4)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
Commit 989a70c6134c2f6d49c867136b4606e931f2ef90 by idhugoid
Adds a Debug VDM perspective

The Overture debug layout is different from the one in Eclipse Debug UI.

With this perspective the users are able to match the Debug VDM
perspective displayed views with the screenshots in the training
materials.
(commit: 989a70c)
The file was addedide/debug/icons/eview16/debug_vdm.png
The file was modifiedide/vdmrt/debug/plugin.xml
The file was modifiedide/debug/plugin.properties
The file was modifiedide/debug/plugin.xml
The file was addedide/debug/src/main/java/org/overture/ide/debug/ui/DebugPerspectiveFactory.java
The file was modifiedide/vdmpp/debug/plugin.xml
The file was modifiedide/vdmsl/debug/plugin.xml
Commit 185e89dc7861049c84abeedbb67f553dc9295b19 by idhugoid
Bump version number
(commit: 185e89d)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/core/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedpom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedcore/interpreter/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/features/core/feature.xml
Commit c179d6bed2cef0f05399434b731d680bdd71c9fd by idhugoid
[maven-release-plugin] prepare release Release/3.0.0

Bump ide/ to version 3.0.0
(commit: c179d6b)
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/help/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedcore/parser/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifieddocumentation/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/parsers/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedpom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/features/rcp/feature.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedexternals/pom.xml