I use the native eventb framework and which use equinox and eclipse. We are now modifying it to support the new features of my research team, and we want to get rid of part of the GUI (mainly to avoid writing gui code and the ability to run heavy computing on remote servers). We will be able to have our own kit with our code and for which only the following set of eclipse and equinox is required (from eclipse version 3.7.1):
- org.eclipse.ant.runtime
- org.eclipse.core
- org.eclipse.core.contenttype
- org.eclipse.core.expressions
- org.eclipse.core.jobs
- org.eclipse.core.resources
- org.eclipse.equinox
- org.eclipse.osgi
and bundles of homeland and eventb:
- org.rodinp.core
- org.eventb.core
- org.eventb.ast
osgi , .metadata/.log, , , , ...
: gui? . - ?