commit	0c8879083182edb9b1cd2df36334e959941c2f70	[log] [tgz]
author	Arnault Lapitre <arnault.lapitre@cea.fr>	Fri Mar 17 10:00:45 2017 +0100
committer	Arnault Lapitre <arnault.lapitre@cea.fr>	Fri Mar 17 10:08:58 2017 +0100
tree	3d5da32f995c5c5833a5e976f86974771ece84c5
parent	ac6ce90bda86704812c2631fb6cfe3ad46c1aba9 [diff]

Bug 513796

Initial commit of org.eclipse.efm.ui
Change-Id: I6fb4cfbb6f5b94f04e7bce733ac5424d0137eaf4
Signed-off-by: Arnault Lapitre <arnault.lapitre@cea.fr>

gui/org.eclipse.efm.ui/.classpath[Added - diff]
gui/org.eclipse.efm.ui/.gitignore[Added - diff]
gui/org.eclipse.efm.ui/.project[Added - diff]
gui/org.eclipse.efm.ui/.settings/org.eclipse.jdt.core.prefs[Added - diff]
gui/org.eclipse.efm.ui/META-INF/MANIFEST.MF[Added - diff]
gui/org.eclipse.efm.ui/about.html[Added - diff]
gui/org.eclipse.efm.ui/build.properties[Added - diff]
gui/org.eclipse.efm.ui/license.html[Added - diff]
gui/org.eclipse.efm.ui/plugin.xml[Added - diff]
gui/org.eclipse.efm.ui/pom.xml[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/diversity_icon.png[Added - diff]
gui/org.eclipse.efm.ui/src/org/eclipse/efm/ui/Activator.java[Added - diff]
gui/org.eclipse.efm.ui/src/org/eclipse/efm/ui/PerspectiveModeling.java[Added - diff]
gui/org.eclipse.efm.ui/src/org/eclipse/efm/ui/PerspectiveSymbexWorkflow.java[Added - diff]
gui/pom.xml[diff]
releng/org.eclipse.efm.modeling.feature/feature.xml[diff]
releng/org.eclipse.efm.modeling.rcp/plugin_customization.ini[diff]
releng/org.eclipse.efm.modeling.textual.feature/feature.xml[diff]

18 files changed

tree: 3d5da32f995c5c5833a5e976f86974771ece84c5

README.md

EFM : Eclipse Formal Modeling