SuccessChanges

Summary

  1. Bug 514634 General Improvement of SymbexUI-Spider (details)
Commit cd75ee6d0f8912416ef4277d1187ced50771903c by Arnault Lapitre
Bug 514634 General Improvement of SymbexUI-Spider
Change-Id: I2cc233875b469be3c849bd1de8d44b07ebacf0b8 Signed-off-by:
Arnault Lapitre <arnault.lapitre@cea.fr>
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsolePage.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SWTSpider.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SEWConsoleSpiderPage.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src/org/eclipse/efm/formalml/xtext/scoping/FormalMLScopeProvider.xtend
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowSpiderConfigurationUtils.java