commit: 2d3c22c34a07e75d795bae99e7d95110eb8c2a50
[log]
author: Erwan Mahe <erwan.mahe@cea.fr>
Mon Feb 06 13:03:44 2017 +0100
committer: Erwan Mahe <erwan.mahe@cea.fr>
Mon Feb 06 13:41:00 2017 +0100
tree: 2a56e07146aeee9fe74bfb287791fb58cc7986fe
parent: 836008b1fdea7d1b9fb9ba7c21850334d7278036 [diff]

Bug 511757

First draft
effectively used for new project/example wizard

Change-Id: Iff4f300d695e3bea5c929dcbbfbcd97e2c27ac1a
Signed-off-by: Erwan Mahe <erwan.mahe@cea.fr>

gui/org.eclipse.efm.runconfiguration/build.properties[diff]
gui/org.eclipse.efm.ui.newproject.examples/build.properties[diff]
gui/org.eclipse.efm.ui.newproject.templates/build.properties[diff]
gui/org.eclipse.efm.ui.newproject.templates/plugin.properties[Deleted - diff]
gui/org.eclipse.efm.ui.resources/.classpath[Added - diff]
gui/org.eclipse.efm.ui.resources/.gitignore[Added - diff]
gui/org.eclipse.efm.ui.resources/.project[Added - diff]
gui/org.eclipse.efm.ui.resources/.settings/org.eclipse.jdt.core.prefs[Added - diff]
gui/org.eclipse.efm.ui.resources/META-INF/MANIFEST.MF[Added - diff]
gui/org.eclipse.efm.ui.resources/build.properties[Added - diff]
gui/org.eclipse.efm.ui.resources/icons/alt_diversity.png[Renamed from gui/org.eclipse.efm.runconfiguration/icons/alt_diversity.png - diff]
gui/org.eclipse.efm.ui.resources/icons/efm_project.png[Copied from gui/org.eclipse.efm.runconfiguration/icons/alt_diversity.png - diff]
gui/org.eclipse.efm.ui.resources/icons/genproject.gif[Added - diff]
gui/org.eclipse.efm.ui.resources/icons/sample.gif[Renamed from gui/org.eclipse.efm.runconfiguration/icons/sample.gif - diff]
gui/org.eclipse.efm.ui.resources/src/org/eclipse/efm/ui/resources/UIfmlResources.java[Added - diff]

15 files changed

tree: 2a56e07146aeee9fe74bfb287791fb58cc7986fe

README.md

EFM : Eclipse Formal Modeling