Merge branch 'refs/heads/develop'

build.gradle

.../bmotionstudio/rodin/StartEventBVisualizationHandler.java

de.prob.core/.classpath

de.prob.core/META-INF/MANIFEST.MF

de.prob.core/build.gradle

de.prob.core/build.properties

de.prob.core/prob_target.target

de.prob.core/src/de/prob/core/Animator.java

....core/src/de/prob/core/command/ConstructTraceCommand.java

...ob.core/src/de/prob/core/command/ExploreStateCommand.java

...re/src/de/prob/core/domainobjects/ltl/CounterExample.java

de.prob.core/src/de/prob/eventb/translator/Theories.java

de.prob.eventb.disprover.core/META-INF/MANIFEST.MF

.../src/de/prob/eventb/disprover/core/DisproverReasoner.java

...prob/eventb/disprover/core/internal/DisproverCommand.java

...b/eventb/disprover/core/internal/DisproverIdentifier.java

...b/disprover/core/translation/DisproverContextCreator.java

de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF

de.prob.eventb.disprover.ui/icons/prob_mini_logo.gif

de.prob.eventb.disprover.ui/plugin.xml