You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
198 lines
10 KiB
198 lines
10 KiB
<?xml version='1.0' encoding='UTF-8'?> |
|
<?p2f version='1.0.0'?> |
|
<p2f version='1.0.0'> |
|
<ius size='38'> |
|
<iu id='com.clearsy.atelierb.provers.feature.group' name='Atelier B provers' version='2.1.0.r16188'> |
|
<repositories size='1'> |
|
<repository location='http://methode-b.com/update_site/atelierb_provers'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eventb.texteditor.feature.feature.group' name='Camille TextEditor' version='3.2.0.201511181037'> |
|
<repositories size='1'> |
|
<repository location='http://www.stups.hhu.de/camille_updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eclipse.emf.sdk.feature.group' name='EMF - Eclipse Modeling Framework SDK' version='2.12.0.v20160526-0356'> |
|
<repositories size='1'> |
|
<repository location='http://download.eclipse.org/releases/neon'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eclipse.emf.ecore.xcore.sdk.feature.group' name='EMF - Eclipse Modeling Framework Xcore SDK' version='1.4.0.v20160526-0606'> |
|
<repositories size='1'> |
|
<repository location='http://download.eclipse.org/releases/neon'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eclipse.emf.validation.sdk.feature.group' name='EMF Validation Framework SDK' version='1.10.0.201606071713'> |
|
<repositories size='1'> |
|
<repository location='http://download.eclipse.org/releases/neon'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.latex.feature.feature.group' name='Event B to LaTeX exporter' version='0.7.0.201607081834'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eventb.emf.feature.feature.group' name='Event-B EMF Framework (for Rodin 3.x)' version='5.4.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eventb.emf.sdk.feature.group' name='Event-B EMF Framework (for Rodin 3.x) SDK' version='5.4.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.emf.core.extension.feature.feature.group' name='Event-B EMF Support for Modelling Extensions (for Rodin 3.x)' version='5.3.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.emf.diagrams.feature.feature.group' name='Event-B GMF Support for Diagrams (for Rodin 3.x)' version='6.0.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.emf.diagrams.sdk.feature.group' name='Event-B GMF Support for Diagrams (for Rodin 3.x) SDK' version='6.0.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eventb.emf.diagram.feature.feature.group' name='Event-B Project Diagram Plugin (for Rodin 3.1.x)' version='1.0.1'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ch.ethz.eventb.utils_feature.feature.group' name='Event-B Utilities' version='0.2.3.201512161944'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ch.ethz.eventb.utils.sdk.feature.group' name='Event-B Utilities SDK' version='0.2.3.201512161944'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.xtext.feature.feature.group' name='Event-B XText' version='0.0.5.release'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.xtext.sdk.feature.group' name='Event-B XText (SDK)' version='0.0.5.release'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.featurecomposition_feature.feature.group' name='Feature Composition Tool' version='0.0.4'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.classdiagrams.feature.feature.group' name='iUML-B Class Diagrams (for Rodin 3.x.x)' version='1.2.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.statemachines.feature.feature.group' name='iUMLB State-Machines (for Rodin 3.x.x)' version='3.4.1'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.statemachines.sdk.feature.group' name='iUMLB State-Machines (for Rodin 3.x.x) SDK' version='3.4.1'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.statemachines.animation.feature.feature.group' name='iUMLB State-Machines Animation (for Rodin 3.x + ProB1 3.x)' version='2.3.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ch.ethz.eventb.decomposition_feature.feature.group' name='Model Decomposition' version='1.3.0.v20141125'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eclipse.ocl.all.sdk.feature.group' name='OCL Classic SDK: Ecore/UML Parsers,Evaluator,Edit' version='5.2.0.v20160523-1914'> |
|
<repositories size='1'> |
|
<repository location='http://download.eclipse.org/releases/neon'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ch.ethz.eventb.pattern_feature.feature.group' name='Pattern' version='0.9.0.201503122359'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='de.prob2.feature.feature.group' name='ProB for Rodin3' version='3.0.9.201702070649'> |
|
<repositories size='1'> |
|
<repository location='http://www.stups.hhu.de/prob_updates_rodin3'/> |
|
</repositories> |
|
</iu> |
|
<iu id='de.prob2.disprover.feature.feature.group' name='ProB for Rodin3 - EXPERIMENTAL (Dis)Prover' version='3.0.9.201702070649'> |
|
<repositories size='1'> |
|
<repository location='http://www.stups.hhu.de/prob_updates_rodin3'/> |
|
</repositories> |
|
</iu> |
|
<iu id='de.prob2.units.feature.feature.group' name='ProB for Rodin3 - Physical Units Support' version='3.0.9.201702070649'> |
|
<repositories size='1'> |
|
<repository location='http://www.stups.hhu.de/prob_updates_rodin3'/> |
|
</repositories> |
|
</iu> |
|
<iu id='de.prob2.symbolic.feature.feature.group' name='ProB for Rodin3 - Symbolic Constants Support' version='3.0.9.201702070649'> |
|
<repositories size='1'> |
|
<repository location='http://www.stups.hhu.de/prob_updates_rodin3'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.ddorf.refactory_feature.feature.group' name='Renaming Refactory' version='1.3.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.rodinp.handbook.feature.feature.group' name='Rodin Handbook v.2.5' version='2.5.0.201606291411'> |
|
<repositories size='1'> |
|
<repository location='http://handbook.event-b.org/updatesite'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.eventb.roseEditor.feature.feature.group' name='Rose Event-B Editor' version='1.6.1'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.composition_feature.feature.group' name='Shared Event Composition' version='1.7.0.v20141125'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eventb.smt.feature.group' name='SMT Solvers' version='1.3.0.6a8c26d'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.rodinp.teamwork.feature.feature.group' name='Team-work Feature (for Rodin 3.2+)' version='1.2.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.umlb.feature.feature.group' name='UML-B Modelling Environment (for Rodin 3.x.x)' version='2.3.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='ac.soton.umlb.stateDiagramAnimation.feature.feature.group' name='UML-B Statemachine Animation (for Rodin 3.x.x)' version='1.3.0'> |
|
<repositories size='1'> |
|
<repository location='http://rodin-b-sharp.sourceforge.net/updates'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eclipse.xtend.sdk.feature.group' name='Xtend IDE' version='2.10.0.v201605250459'> |
|
<repositories size='2'> |
|
<repository location='http://download.eclipse.org/releases/neon'/> |
|
<repository location='http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/'/> |
|
</repositories> |
|
</iu> |
|
<iu id='org.eclipse.xtext.sdk.feature.group' name='Xtext Complete SDK' version='2.10.0.v201605250459'> |
|
<repositories size='2'> |
|
<repository location='http://download.eclipse.org/releases/neon'/> |
|
<repository location='http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/'/> |
|
</repositories> |
|
</iu> |
|
</ius> |
|
</p2f>
|
|
|