<?xml version="1.0" encoding="UTF-8"?> | |
<?eclipse version="3.4"?> | |
<plugin> | |
<extension | |
name="EFM Projects" | |
point="org.eclipse.ui.newWizards"> | |
<wizard | |
category="org.eclipse.efm.ui.category.newproject" | |
class="org.eclipse.efm.modeling.ui.newproject.WizardNewFormalModelProject" | |
icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png" | |
id="org.eclipse.efm.modeling.ui.newproject.wizard" | |
name="EFM Project"> | |
</wizard> | |
</extension> | |
</plugin> |